x86/xen: Initialize cr4 shadow for 64-bit PV(H) guests