Update kernel_manifest.xml