Build scripts mako:  Use gcc 4.6 toolchain to build the kernel