Fix compilation issues after removal of the kernel/ subdir.