This one : [UNOFFICIAL BUILD] Xiaomi Redmi 4(X) (santoni)
Produced by /e/ “community” Docker, untouched, was working fine 
Btw latest Xiaomi firmware for my testing device was for Android 7.1 … https://xiaomifirmwareupdater.com/firmware/santoni/
Don’t know if it’s related, but I wouldn’t be surprised it would …