Buscando info, ya he encontrado la causa de que uno tenga el notch más pequeño que el otro: el del notch más grande es el redmi note 6 pro (2 cámaras frontales) y el del notch más pequeño es el redmi 6 pro (tiene 1 cámara frontal). Además, el tamaño de las pantallas y los procesadores son distintos. Este vídeo (en inglés) es una comparativa de ambos terminales:
.
Espero que os sirva como a mí, porque cuando me compro un teléfono miro hasta el más mínimo detalle para saber realmente qué estoy comprando.