Update kernel_manifest.xml

add too many kernel repo's... ok done