Force use of GCC 4.7 (Kernel has issues building with 4.8)