Il semble que le problème principal est qu'il n'avait pas réussi à avoir de réseau, que cela soit Ethernet ou WiFi, et donc n'a pas pu utiliser l'utilitaire de mise à jour des drivers utilisé par LinuxTrick pour charger les librairies manquantes. Peut-être que s'il avait utilisé un adaptateur USB/RJ45, car les ports USB semblaient reconnus, il aurait pu avoir le réseau, et alors mettre à jour les drivers ?