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