Back to gcc 4.7: this solves the storage write problems

Change-Id: I2edd89a9b9b8680cadfd2abefd0c8fcd5529d12e