Switch to GCC 4.7 toolchain to compile the kernel

Change-Id: I7e059fe70b5ff781451daae54e096624c4f56633