Make gcc 4.6 default and non O3
* to use gcc 4.7 add TARGET_GCC_VERSION := 4.7 to your board config
* to use O3 add TARGET_USE_O3