Index: 2006-01-05/arch/i386/kernel/acpi/boot-xen.c
===================================================================
--- 2006-01-05.orig/arch/i386/kernel/acpi/boot-xen.c	2006-01-05 11:51:35.421190560 +0100
+++ 2006-01-05/arch/i386/kernel/acpi/boot-xen.c	2006-01-05 11:20:35.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>