Index: kernel/arch/xen32/src/smp/smp.c
===================================================================
--- kernel/arch/xen32/src/smp/smp.c	(revision 983cd37421607bd0fcff257f1c42e6d26cae0ca0)
+++ kernel/arch/xen32/src/smp/smp.c	(revision c049309818d0a3eca8aa6dfecad99aa1f06ee0d6)
@@ -54,5 +54,4 @@
 #include <print.h>
 #include <memstr.h>
-#include <arch/drivers/i8259.h>
 
 #ifdef CONFIG_SMP
@@ -119,5 +118,5 @@
 	outb(0x71,0xa);
 
-	pic_disable_irqs(0xffff);
+//	pic_disable_irqs(0xffff);
 	apic_init();