[tip: x86/urgent] x86/cpu: Use pinning mask for CR4 bits needing to be 0