build script: Use GCC 4.7

GCC 4.8 has been causing breakage noticeable even to userspace (evidenced by the WiFi Connection Manager app causing the kernel to panic when launched).

Using GCC 4.7 will also probably fix a lot, if not all, random reboots.