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