Revert "Compile kernel with gcc 4.7 for now"

This reverts commit 8707fa48b32da2d8454d0bbb4c3eaad6f2c5d9b2.

Change-Id: I05b24d10e31a0fc881a8b28718db839b2a511b9f