Redmi Note 8 Ginko
Dirty flashed, ran my cleanup script. Everything's okay.
Little annoyance: first boot lasted long (rebuild Dalvik?) and then everything froze in lockscreen, no Sim pin mask no unlock pin mask and just a spontaneous reboot after a while.
Ever since that everything is "normal".