x86/mm: Disallow running with 32-bit PTEs to work around erratum