Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 70b6de17d76360ed8d3b167e184fa20dc135a760)
+++ kernel/Makefile	(revision aeaebcc155defcfcb8ff9cf60ddacb07fd8e84a7)
@@ -118,8 +118,4 @@
 		DEFS += -DCONFIG_VESA_BPP=$(CONFIG_VESA_BPP)
 	endif
-endif
-
-ifeq ($(CONFIG_BENCH),y)
-	DEFS += -DCONFIG_BENCH
 endif