#include <linux/screen_info.h>
#include <linux/ioport.h>
#include <linux/acpi.h>
+#include <linux/sfi.h>
#include <linux/apm_bios.h>
#include <linux/initrd.h>
#include <linux/bootmem.h>
*/
acpi_boot_init();
+ sfi_init();
+
/*
* get boot-time SMP configuration:
*/