[releng] Issue #8421: allow coreos team to regen coreos distrepos