build-kernel: Use GCC 4.7