manifest: fix path to kernel