Meanwhile there seems to be an updated version making the rounds. However, I managed to successfully get 3.5.1 to boot on my Redmi K40 Pro+, I just have no ROM to test the flashing process with...
Since a lack of non-fastboot-roms (after having managed to get at least SOME version of xiaomi.eu...