Не совсем так -- стартеркиты p7/p8 выпускал я, выделяя для этого порядка двух недель времени примерно на полный рабочий день каждый квартал (плюс минимум два дня в неделю -- на текущую работу с регулярными сборками, которые сизифные).

Где-то с прошлого лета у меня это самое время на стартеркиты выделять получалось с огромным трудом -- регулярные сборки уже забрал специально для разгрузки меня от них найденный человек, но всё сразу на него взгромоздить было бы ужасно.

А вот выпуски на p9 делал уже именно Антон, за что я ему очень благодарен.  Притом фактически самостоятельно осваивая нюансы aarch64/armh, борясь с моей инертностью в роли апстрима mkimage-profiles и вдобавок помогая коллегам, осваивавшим изготовление стартеркитов для других платформ (того же mipsel).

То есть с одной стороны -- мы не выделяем полновесных ресурсов ОТК и документаторов на эти сборки, но с другой -- мы и не требуем за них деньги и с юридических лиц, а наоборот -- предлагаем совместно улучшать состав и качество стартеркитов.  И да, выделяем исключительно на эту работу человека на ставке.