Questo aggiornamento corregge il problema:
https://openmamba.org/pub/openmamba/devel/RPMS.x86_64/libffi-3.4.2-3mamba.x86_64.rpm.
Non avendo a disposizione la rete un modo per effettuare l’aggiornamento è di scaricare da un altro PC il file sopra indicato e copiarlo in una pendrive USB che deve poi essere inserita e montata nel sistema openmamba che presenta il problema.
Da qui il pacchetto può essere aggiornato dal seguente comando eseguito da una finestra di terminale posizionato nella cartella in cui si trova il file:
sudo rpm -U libffi-3.4.2-3mamba.x86_64.rpm
L’aggiornamento è stato reso disponibile immediatamente in modo da limitare la propagazione del problema sulle installazioni funzionanti perché non ancora aggiornate o sottoposte a riavvio.
Grazie per la segnalazione.