Index: kernel/arch/amd64/Makefile.inc
===================================================================
--- kernel/arch/amd64/Makefile.inc	(revision b4fa652eb2b10684af9602bd804587917a8ed99d)
+++ kernel/arch/amd64/Makefile.inc	(revision b006a2c8990750690f6845007fe696ea0c726deb)
@@ -62,4 +62,6 @@
 
 CONFIG_I8042 = y
+CONFIG_I8042_PC = y
+DEFS += -DCONFIG_I8042_PC
 
 ## Accepted configuration directives
Index: kernel/arch/ia32/Makefile.inc
===================================================================
--- kernel/arch/ia32/Makefile.inc	(revision b4fa652eb2b10684af9602bd804587917a8ed99d)
+++ kernel/arch/ia32/Makefile.inc	(revision b006a2c8990750690f6845007fe696ea0c726deb)
@@ -81,5 +81,6 @@
 
 CONFIG_I8042 = y
-
+CONFIG_I8042_PC = y
+DEFS += -DCONFIG_I8042_PC
 
 ## Accepted configuration directives
Index: kernel/arch/sparc64/Makefile.inc
===================================================================
--- kernel/arch/sparc64/Makefile.inc	(revision b4fa652eb2b10684af9602bd804587917a8ed99d)
+++ kernel/arch/sparc64/Makefile.inc	(revision b006a2c8990750690f6845007fe696ea0c726deb)
@@ -65,4 +65,6 @@
 
 CONFIG_I8042 = y
+CONFIG_I8042_SUN = y
+DEFS += -DCONFIG_I8042_SUN
 
 ARCH_SOURCES = \