Change default kernel gcc version to 4.7

Change-Id: I039fef345a7a470d0d5769ebb79c252d09a38a99