Build using gcc 4.7

...gcc 4.8 causing boot loops :(

Change-Id: Iaee6b54218ada001521f5060650c78e4790fa427