Build kernel with GCC 4.7

Change-Id: I439c9a8de38a23f2af65f20695cc939749286cf5