Xiaomi.eu 8.7.12v2 didn't have firmware included so should not have triggered ARP!
You can test with this command:-
fastboot getvar anti
If it is still three, you can flash whatever rom, you please.
If it returns 4, be-careful to only flash anti 4 roms or firmware.
@
ipolit
Read up on...