kernel_manifest.xml: remove unused kernel repositories