Fix Kernel build