El HDR10 solo sirve para ver series, películas, videos o contenido en HDR10, para lo demás no hay diferencia.
Si estas cansado de bugs y etc… directamente descartaba cualquier Xiaomi, casi todos suelen tener pequeños bugs y fallos.
Yo en tu lugar me quedaría con el Oneplus 6T, aunque no se donde lo encuentras a ese precio.
