Обновление: у меня получилось завести на сабже бинарник, стыренный из Debian ARM (ещё и clisp получилось). Но настоящие мужики^W линуксоиды компилируют из исходников, так что буду продолжать попытки. Пока что успешно решил проблему с call_into_lisp (оказалось, что это была ошибка в Termux'овском GCC).

Если смогу всё сделать, то это будет что-то вроде эксклюзива, потому что под ARM немного людей собирали лиспы, а конкретно под андроид поисковик молчит.