Manifest: Update the kernel's name