Hammerhead: Use GCC 4.7 for the kernel

Change-Id: Ie4b65270549c00136e3fd16eb6a0fa737f9bac9b