https://wwtyrd.com/tech/nicola/fix-push-notifications-in-miui-8/