Мне удалось успешно перенести форум на другой сервер через импорт, поэтому, если хотите, я могу обновить ядро на старом сервере и позже попробовать собрать заново. Однако, полагаю, что это не проблема: дело, судя по всему, в нескольких контейнерах, где два регулярно обновлялись, а два — нет (именно более старые не удалось собрать заново).