makefile: kernel faults with -fschedule-insns2 in GCC 4.8.2