Install gcc-4.7 along with kernel headers.

Sets gcc-4.7 to be installed before configuring kernel headers. Fixes the issues with gamecon/db9 drivers when built with default gcc-4.6.