manifest: add kernel repos