--- arch/x86/kernel/setup.c

+++ arch/x86/kernel/setup.c

@@ -294,6 +294,9 @@ static void __init init_gbpages(void)

static inline void init_gbpages(void)

{

}

+static void __init cleanup_highmap(void)

+{

+}

#endif

static void __init reserve_brk(void)

@@ -921,6 +924,8 @@ void __init setup_arch(char **cmdline_p)

reserve_brk();

+ cleanup_highmap();

+

init_gbpages();

/* max_pfn_mapped is updated here */