Index: defaults/amd64/Makefile.config
===================================================================
--- defaults/amd64/Makefile.config	(revision 1d40c93d3c9528f07c921998be888691e0ac590c)
+++ defaults/amd64/Makefile.config	(revision 0f283873f379e5b806282e95319c9af0c414f872)
@@ -73,2 +73,5 @@
 # GRUB boot loader architecture
 GRUB_ARCH = pc
+
+# Optimization level
+OPTIMIZATION = 3
Index: defaults/arm32/Makefile.config
===================================================================
--- defaults/arm32/Makefile.config	(revision 1d40c93d3c9528f07c921998be888691e0ac590c)
+++ defaults/arm32/Makefile.config	(revision 0f283873f379e5b806282e95319c9af0c414f872)
@@ -37,2 +37,5 @@
 # What is your output device?
 CONFIG_HID_OUT = generic
+
+# Optimization level
+OPTIMIZATION = 3
Index: defaults/ia32/Makefile.config
===================================================================
--- defaults/ia32/Makefile.config	(revision 1d40c93d3c9528f07c921998be888691e0ac590c)
+++ defaults/ia32/Makefile.config	(revision 0f283873f379e5b806282e95319c9af0c414f872)
@@ -85,2 +85,5 @@
 # GRUB boot loader architecture
 GRUB_ARCH = pc
+
+# Optimization level
+OPTIMIZATION = 3
Index: defaults/ia64/Makefile.config
===================================================================
--- defaults/ia64/Makefile.config	(revision 1d40c93d3c9528f07c921998be888691e0ac590c)
+++ defaults/ia64/Makefile.config	(revision 0f283873f379e5b806282e95319c9af0c414f872)
@@ -49,2 +49,5 @@
 # Output device class
 CONFIG_HID_OUT = generic
+
+# Optimization level
+OPTIMIZATION = 3
Index: defaults/mips32/Makefile.config
===================================================================
--- defaults/mips32/Makefile.config	(revision 1d40c93d3c9528f07c921998be888691e0ac590c)
+++ defaults/mips32/Makefile.config	(revision 0f283873f379e5b806282e95319c9af0c414f872)
@@ -46,2 +46,5 @@
 # Barebone build with essential binaries only
 CONFIG_BAREBONE = y
+
+# Optimization level
+OPTIMIZATION = 3
Index: defaults/ppc32/Makefile.config
===================================================================
--- defaults/ppc32/Makefile.config	(revision 1d40c93d3c9528f07c921998be888691e0ac590c)
+++ defaults/ppc32/Makefile.config	(revision 0f283873f379e5b806282e95319c9af0c414f872)
@@ -46,2 +46,5 @@
 # OHCI root hub power switch, ganged is enough
 OHCI_POWER_SWITCH = ganged
+
+# Optimization level
+OPTIMIZATION = 3
Index: defaults/sparc64/Makefile.config
===================================================================
--- defaults/sparc64/Makefile.config	(revision 1d40c93d3c9528f07c921998be888691e0ac590c)
+++ defaults/sparc64/Makefile.config	(revision 0f283873f379e5b806282e95319c9af0c414f872)
@@ -55,2 +55,5 @@
 # Start AP processors by the loader
 CONFIG_AP = y
+
+# Optimization level
+OPTIMIZATION = 3
Index: defaults/special/Makefile.config
===================================================================
--- defaults/special/Makefile.config	(revision 1d40c93d3c9528f07c921998be888691e0ac590c)
+++ defaults/special/Makefile.config	(revision 0f283873f379e5b806282e95319c9af0c414f872)
@@ -32,2 +32,4 @@
 RCU = PREEMPT_A
 
+# Optimization level
+OPTIMIZATION = 3