Use GCC 4.7 as a default for kernel compiling

Change-Id: I3393b925ee0489d6ddefbe24a4c6b09c19fe16b7