Fix kernel build.