Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 3e53ab7b0eacdf72743712841abf0bf6d897b956)
+++ kernel/Makefile	(revision 323a5aaf36674c20719d102e0508c32ef466bfa3)
@@ -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