Fill in the missing imports in the kernel