Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision deaa22f01020fc8d432df92b990024d02d453083)
+++ kernel/arch/amd64/src/amd64.c	(revision d46c6ecd4bb1934b64d8c11726ffed69e5897343)
@@ -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 @@
 }
 
- /** @}
- */
-
+/** @}
+ */