Index: defaults/special/Makefile.config
===================================================================
--- defaults/special/Makefile.config	(revision b1c57a828cb73794beb6a309f5ec0199ca75ecc2)
+++ defaults/special/Makefile.config	(revision 2c52073b51829e4d3a28d8bdf50247d3316218d0)
@@ -32,2 +32,4 @@
 RCU = PREEMPT_A
 
+# Optimization level
+OPTIMIZATION = 3
