Device-specific changes: * Broken MIUI OTA feature disabled again