Index: 2005-12-16/arch/i386/kernel/acpi/boot-xen.c
===================================================================
--- 2005-12-16.orig/arch/i386/kernel/acpi/boot-xen.c	2005-12-16 15:38:28.000000000 +0100
+++ 2005-12-16/arch/i386/kernel/acpi/boot-xen.c	2005-12-22 15:27:25.000000000 +0100
@@ -54,6 +54,8 @@ static inline int acpi_madt_oem_check(ch
 
 #else				/* X86 */
 
+EXPORT_SYMBOL(pm_power_off);
+
 #ifdef	CONFIG_X86_LOCAL_APIC
 #include <mach_apic.h>
 #include <mach_mpparse.h>