Update kernel_manifest