use GCC 4.7 as a default for kernel compiling

Change-Id: I2ef1eec9af273a9dbc72a49fe98c67ff643e7339