Hai fatto bene, è un device anni luce sopra un G54...
Però non si compra alla cieca, gli aggiornamenti sono il punto debole, insieme alla fotocamera, dell'F5. 2 major e 3 anni di patch dall'uscita. Quindi non troppo meglio del Motorola ma dovrebbero essere più celeri.
Per l'always on display, non l'ho mai scritto in questo post? In genere lo menziono spesso. Il problema deriva dal fatto che in Cina nasce come serie Redmi Note, e tutti i Redmi Note appartenendo a una fascia più bassa hanno questa limitazione nel software. Quindi anche se molto più potente di un normale Redmi Note, si porta a dietro questa cosa. Per dire, Poco X6 Pro, per esempio, non ha problemi essendo un Redmi K in Cina. Inoltre è più potente e ha un anno di update in più, di contro l'autonomia è peggiore e non ha il jack delle cuffie, e ha il sensore sotto schermo che a te non piace.
In ogni caso sarà una cosa mia, ma sul mio Poco F3 tengo l'AOD a 10 secondi anche se ho pure la possibilità di averlo fisso.
Per settaggi su Xiaomi non c'è molto da fare se non disattivare le pubblicità, trovi molte guide online per la MIUI, molte cose dovrebbero essere rispecchiate su hyperOS, nel caso le avessi s'intende.
Per quanto riguarda il processore più veloce che sarebbe "normale" visto il prezzo, sui 300 euro a parte il nuovo X6 Pro nessun altro soc si avvicina al 7+ gen 2. Almeno finchè non usciranno nuovi device immagino.