Index: kernel/arch/ia64/src/smp/smp.c
===================================================================
--- kernel/arch/ia64/src/smp/smp.c	(revision 013c4d666a79f5b3ee840b780dc07c7530965584)
+++ kernel/arch/ia64/src/smp/smp.c	(revision 9482bf0b153f18faf227ea7add26b4a3ef08cd90)
@@ -53,6 +53,4 @@
 #include <ddi/device.h>
 #include <arch/bootinfo.h>
-#include <genarch/kbd/i8042.h>
-#include <genarch/kbd/ns16550.h>
 #include <smp/smp.h>
 #include <smp/ipi.h>