Update kernel_manifest.xml

...