Оказалось, что не я один такой пользователь старого железа, и что среди арчеводов тоже есть те, кому требуется сабж
Так что добрые люди решили продолжить неофициальную поддержку Арча для 32-биток, и на другие дистрибутивы можно не переходить
https://archlinux32.org/
Parabola GNU/Linux-Libre как форк арча с полностью свободным ядром Linux и пакетами тоже оставляет поддержку 32-бит на основе репозиториев выше.
Обновления приходят, пусть и не часто.
Интересный факт. Последняя версия SBCL, доступная у нас в репах, - это 1.3.20-1, потому что более новые собранные версии почему-то отказываются работать. Это один из тех немногих пакетов, с которым у мейнтейнеров возникли реальные проблемы.
Если кто-то из наших лисповодов может помочь правильно собрать SBCL, то прошу сюда:
https://bbs.archlinux32.org/viewtopic.php?id=157
https://bugs.archlinux32.org/index.php?do=details&task_id=5