Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 68f46712429fd2645b41fba94e5e2913e9ec3be0)
+++ kernel/Makefile	(revision 0f283873f379e5b806282e95319c9af0c414f872)
@@ -81,10 +81,4 @@
 INCLUDES = generic/include genarch/include arch/$(KARCH)/include ../abi/include
 INCLUDES_FLAGS = $(addprefix -I,$(INCLUDES))
-
-ifeq ($(CONFIG_OPTIMIZE_FOR_SIZE),y)
-	OPTIMIZATION = s
-else
-	OPTIMIZATION = 3
-endif
 
 DEFS = -DKERNEL -DRELEASE=$(RELEASE) "-DCOPYRIGHT=$(COPYRIGHT)" "-DNAME=$(NAME)" -D__$(BITS)_BITS__ -D__$(ENDIANESS)__