[added to the 4.1 stable tree] x86/mm/64: Fix reboot interaction with CR4.PCIDE