Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 19dce27f5a91b8a17c90b08c3477682312a94e78)
+++ kernel/Makefile	(revision d6f270f7fcc1b26dd19f2f79c0bb719fff0a7322)
@@ -114,4 +114,8 @@
 		DEFS += -DCONFIG_VESA_BPP=$(CONFIG_VESA_BPP)
 	endif
+endif
+
+ifeq ($(CONFIG_BENCH),y)
+	DEFS += -DCONFIG_BENCH
 endif