Оказалось, что не я один такой пользователь старого железа, и что среди арчеводов тоже есть те, кому требуется сабж

Так что добрые люди решили продолжить неофициальную поддержку Арча для 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