Kernel build fails with GCC 4.3