Add configurable options to enable gcc 4.8 fixes and optimizations and enable it in Galaxys4gmtd  defconfig
Use -O3 for kernel

Conflicts:
	Makefile