The Redmi 7A, Xiaomi’s model for the entry level, was the first device to receive the Global MIUI 11 update