build-patch: Use GCC 4.7

TODO: Pull the toolchain used to build the kernel from Christopher83's repo and make this patch universal.