manifest: one kernel to rule them all