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

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

@@ -110,6 +110,7 @@

#include <asm/numa_64.h>

#endif

#include <asm/mce.h>

+#include <asm/trampoline.h>

/*

* end_pfn only includes RAM, while max_pfn_mapped includes all e820 entries.

@@ -688,6 +689,17 @@ static struct dmi_system_id __initdata b

DMI_MATCH(DMI_BOARD_NAME, "DG45FC"),

},

},

+ /*

+ * The Dell Inspiron Mini 1012 has DMI_BIOS_VENDOR = "Dell Inc.", so

+ * match on the product name.

+ */

+ {

+ .callback = dmi_low_memory_corruption,

+ .ident = "Phoenix BIOS",

+ .matches = {

+ DMI_MATCH(DMI_PRODUCT_NAME, "Inspiron 1012"),

+ },

+ },

#endif

{}

};

@@ -987,6 +999,8 @@ void __init setup_arch(char **cmdline_p)

paging_init();

x86_init.paging.pagetable_setup_done(swapper_pg_dir);

+ setup_trampoline_page_table();

+

tboot_probe();

#ifdef CONFIG_X86_64