Compile kernel with gcc 4.7 for now

Change-Id: I2ebdd3207bc0b3927ac736eaeb3d35f221025bdf