Fix kernel build