Kernel: Use gcc 4.7 as a base for the kernel.