Fix for kernel build error.