xen/x86: Don't try to set PCE bit in CR4