diff --git a/src/add-ons/kernel/drivers/arch/x86/keyboard/keyboard.c b/src/add-ons/kernel/drivers/arch/x86/keyboard/keyboard.c
index 86f0af57f0..d5ac6c4b16 100644
--- a/src/add-ons/kernel/drivers/arch/x86/keyboard/keyboard.c
+++ b/src/add-ons/kernel/drivers/arch/x86/keyboard/keyboard.c
@@ -14,8 +14,6 @@
 #include <arch/cpu.h>
 #include <Errors.h>
 
-#include <arch/x86/keyboard.h>
-
 #define DEVICE_NAME "keyboard"
 
 #define TRACE_KEYBOARD 0