https://www.schmidtisblog.de/xiaomi-mi-a1-android-8-1-oreo-beta-mit-mai-patch-aufgetaucht-1562314/