E' normale, il mi4c (almeno quelli venduti ultimamente) hanno su la stable miui 7, il redmi note invece la miui 6 come puoi vedere qui
http://en.miui.com/download-274.html e la tua e' la stable pių recente. Forse te l'ho gia' chiesto, da chi l'hai comprato?