Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision b4fa652eb2b10684af9602bd804587917a8ed99d)
+++ kernel/arch/ia32/src/ia32.c	(revision f47fd19f9885f194c0b816b7814357789c9565e2)
@@ -42,5 +42,5 @@
 #include <arch/drivers/ega.h>
 #include <arch/drivers/vesa.h>
-#include <genarch/i8042/i8042.h>
+#include <genarch/kbd/i8042.h>
 #include <arch/drivers/i8254.h>
 #include <arch/drivers/i8259.h>