Index: kernel/arch/amd64/Makefile.inc
===================================================================
--- kernel/arch/amd64/Makefile.inc	(revision 287920fbf506e950a6b1035b8520eeaf673338bf)
+++ kernel/arch/amd64/Makefile.inc	(revision 8b4be29e60da1d7e6355cb2b0bf8ae7e3c561965)
@@ -62,4 +62,5 @@
 
 CONFIG_I8042 = y
+DEFS += -DCONFIG_I8042
 
 ## Accepted configuration directives