I don't know how he bricked his device, so the best way in my opinion - check if device hang in fastboot and if phone is visible back for a while to for example china, eea, global and once again flash xiaomi.eu. Worse scrnario is when he will have to put his phone in EDL mode to flash and try to...