build-kernel.patch: use GCC 4.7.4 toolchain instead of GCC 4.8.2