allow building using gcc 4.7 to fix bootloops

Change-Id: I6658aedb083cbf9b2d4468582f224e91935995d7