Change default kernel gcc version to 4.7... in the grossest way possible.

Change-Id: I039fef345a7a470d0d5769ebb79c252d09a38a99