Built by me from my own device tree for Android 7.1, MIUI 9. I know there are other higher versions already but I like it this way and I don't want to upgrade. Everything works, but I can't test decryption because my phone is not encrypted and I have some data I don't want to lose. Credits to TWRP team.