Add some optimisation flags and enable linaro 4.7 for building the kernel