For build with GCC 4.9 just the kernel