Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 3e53ab7b0eacdf72743712841abf0bf6d897b956)
+++ kernel/Makefile	(revision 1baec4bfb381f234bb961bd1b8a4026edfbdd1c8)
@@ -127,6 +127,14 @@
 endif
 
+ifeq ($(CONFIG_I8042_INTERRUPT_DRIVEN),y)
+	DEFS += -DCONFIG_I8042_INTERRUPT_DRIVEN
+endif
+
 ifeq ($(CONFIG_NS16550_INTERRUPT_DRIVEN),y)
 	DEFS += -DCONFIG_NS16550_INTERRUPT_DRIVEN
+endif
+
+ifeq ($(CONFIG_IOSAPIC),y)
+	DEFS += -DCONFIG_IOSAPIC
 endif