kernel: Some adjustments for the GCC 4.1 removal in Makefiles.