Signed-off-by: Andi Kleen <ak@suse.de>

Index: linux/arch/x86/mm/init_32.c
===================================================================
--- linux.orig/arch/x86/mm/init_32.c
+++ linux/arch/x86/mm/init_32.c
@@ -422,6 +424,7 @@ static void __init pagetable_init (void)
 		__PAGE_KERNEL |= _PAGE_GLOBAL;
 		__PAGE_KERNEL_EXEC |= _PAGE_GLOBAL;
 	}
+	__PAGE_KERNEL &= __supported_pte_mask;
 
 	kernel_physical_mapping_init(pgd_base);
 	remap_numa_kva();