[Pkg-xen-devel] Bug#703586: Xen fails to boot Linux dom0 under UEFI?

[Mike]

I have a thread in xen-users: 
http://lists.xen.org/archives/html/xen-users/2013-03/msg00251.html

It seems that Xen doesn't work with UEFI without certain patches?: 
http://lists.xen.org/archives/html/xen-users/2012-08/msg00120.html

Do you have information about this?  They seem to have been done by Jan 
Beulich.  Are those patches in 3.2.39?  Can I get them and apply them to 
3.2.39?  Or is this too unsupported, use BIOS instead?