Fix the kernel build