Index: kernel/arch/amd64/Makefile.inc
===================================================================
--- kernel/arch/amd64/Makefile.inc	(revision deaa22f01020fc8d432df92b990024d02d453083)
+++ kernel/arch/amd64/Makefile.inc	(revision cfffb29045b608bdb22354635488347597622ae3)
@@ -62,4 +62,6 @@
 
 CONFIG_I8042 = y
+CONFIG_I8042_PC = y
+DEFS += -DCONFIG_I8042_PC
 
 ## Accepted configuration directives