Index: kernel/arch/amd64/Makefile.inc
===================================================================
--- kernel/arch/amd64/Makefile.inc	(revision b006a2c8990750690f6845007fe696ea0c726deb)
+++ kernel/arch/amd64/Makefile.inc	(revision 287920fbf506e950a6b1035b8520eeaf673338bf)
@@ -62,6 +62,4 @@
 
 CONFIG_I8042 = y
-CONFIG_I8042_PC = y
-DEFS += -DCONFIG_I8042_PC
 
 ## Accepted configuration directives
Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision b006a2c8990750690f6845007fe696ea0c726deb)
+++ kernel/arch/amd64/src/amd64.c	(revision 287920fbf506e950a6b1035b8520eeaf673338bf)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64
+/** @addtogroup amd64
  * @{
  */
@@ -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>
@@ -209,5 +209,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */