x86/paravirt: groundwork for 64-bit Xen support, fix