flo: compile kernel with Linaro gcc 4.7 toolchain