Set default kernel gcc version to 4.7

Change-Id: I125203c2fd549936d81ac396a044c2808c1af234