add a debug patch for VMCS shadowing testing in Xen
a patch to disable VMCS shadowing in Xen