Update kernel_manifest.xml

switch back to lean for now