[PATCH 4.1 21/65] x86/mm/64: Fix reboot interaction with CR4.PCIDE