Index: kernel/arch/ia64/src/smp/smp.c
===================================================================
--- kernel/arch/ia64/src/smp/smp.c	(revision acee91719a304e8773057831bdcba41998dbb8d5)
+++ kernel/arch/ia64/src/smp/smp.c	(revision 5c06c1c2c7f8ec08d0fbfca6238ce9e6285ef01c)
@@ -52,5 +52,4 @@
 #include <ddi/irq.h>
 #include <ddi/device.h>
-#include <arch/drivers/ega.h>
 #include <arch/bootinfo.h>
 #include <genarch/kbd/i8042.h>