--- arch/x86/kernel/head64.c

+++ arch/x86/kernel/head64.c

@@ -76,9 +76,6 @@ void __init x86_64_start_kernel(char * r

/* Make NULL pointers segfault */

zap_identity_mappings();

- /* Cleanup the over mapped high alias */

- cleanup_highmap();

-

for (i = 0; i < NUM_EXCEPTION_VECTORS; i++) {

#ifdef CONFIG_EARLY_PRINTK

set_intr_gate(i, &early_idt_handlers[i]);