Building kernel with GCC 4.9