Support for Xen UEFI hypercall.
Backport of fixes and features from Xen Linux 3.17.
Backport of syncing CMOS real-time clock (RTC) as well as
Xen wallclock.
Xen pciback fixes for PCI passthrough.
Backport xen_nopv
parameter to disable PV
extensions for HVM guests.