Index: kernel/genarch/include/kbd/ns16550.h
===================================================================
--- kernel/genarch/include/kbd/ns16550.h	(revision 6cd9aa607e6515e17e369c7e888779416251db4d)
+++ kernel/genarch/include/kbd/ns16550.h	(revision 96e0748d7558e9aeb4c97ff5d520f773c406eeac)
@@ -38,5 +38,5 @@
 #define KERN_NS16550_H_
 
-#include <console/chardev.h> 
+#include <console/chardev.h>
 #include <ddi/irq.h>
 #include <ipc/irq.h>
@@ -51,7 +51,6 @@
 
 #include <arch/types.h>
-#ifndef ia64
 #include <arch/drivers/kbd.h>
-#endif
+
 /* NS16550 registers */
 #define RBR_REG		0	/** Receiver Buffer Register. */