Update kernel_manifest.xml

ville kernel