FWIW, I didn't even know until today that ovmf can be used to boot xen domains, - I thought it only works with regular bios packages, not UEFI. To me, using UEFI has always been a no-go due to them being just too slow.
Sure it's not something that helps users facing this bug, just a tiny bit of personal experience. Thanks, /mjt
