Aggiungo i risultati delle mie ricerche. Mi ero orientato sullo Xiami Redmi Note 4x, 3+32 global. In realtà anche nella versione global con Rom stock Xiaomi non ho trovato mai indicato la banda 20/b20/800 ma come banda minima la 850. Che sia solo un errore di specifiche indicate causato dall'alto numero diversioni uscite dello stesso terminale? Può darsi. Tanto più che ad incasinare il quadro ne esiste anche una versione con snapdragon 435 ovviamente inferiore. La soluzione l'ho trovata con lo Xiaomi Redmi Note 4 (senza la x quindi) versione Qualcom Snapdragon 625 e specifiche IDENTICHE al 4x e con banda 20. Qualcuno dice che qualche componente interno come sensore fotografico sia diverso, ma nella sostanza è lo stesso telefono. O almeno così ho capito.