Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision e32e092d6f8bed442ecc81b18af9ef323bc4e650)
+++ kernel/Makefile	(revision f49b0eaadf4b224dc91c8ee7dec365d4bff11b1c)
@@ -35,5 +35,5 @@
 
 INCLUDES = generic/include
-OPTIMIZATION = 1
+OPTIMIZATION = 3
 
 ## Common compiler flags