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 3014e2b2dbd2a91eca5a7cd089b6f4e0352ffda0)
@@ -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>