We need a kernel to satisfy build system