bump gcc to 4.7 and use linaro toolchain to build kernel