Hi guys, I changed to "MIUI by xiaomi.eu 7.2 | Stable 7.2.5.0(LAJCNDA) Looks great... Will system updates work hereafter, or shall I do it manually? vtibi