Great news! Thanks @julien-f for the difficult investigation (it was hard to catch) and obviously everyone who helped to report and provide feedback. That's how we build software: together! 👍
@andyhhp I do have a 2nd GPU set as the primary output device in bios, and Xen uses it to display the console.. would Xen or dom0 try to use both GPU's?
@logical-systems I will check which Xen version the patches are easily applied and If you want I could give you a hand (if needed) to build and install your builded XEN, so you can test if this resolve your issue.
Unfortunatly we don't have the related HW (Coral TPU) to test it by ourselves.
UPDATE: the both patches apply to xen 4.17 (tag RELEASE-4.17.0)
sorry if this is too simple but I just went through this and had the same error in your screen shot.. .my problem was finding the correct uuid,, then my second problem was forgetting to change the VHD to vhd as the program I used left the letters in caps.