Install gcc-4.7 along with kernel headers.
Merge pull request #243 from marqs85/master

Install gcc-4.7 along with kernel headers.