Dirty fixes to make the kernel build.