Change kernel gcc version to 4.7