Nachdem ich diesen Thread vor fast vier Jahren eröffnet habe, möchte ich ihn nun zum Abschluß bringen.
Es lag tatsächlich an der SD-Karte. Ich habe die originale Karte jetzt durch eine meiner bewährten Sandisk-Karten ersetzt. Es reicht, alle Dateien der Original-Karte auf die Ersatzkarte zu kopieren. Danach wird die Ersatzkarte von dem Update-Tool wie eine Original-Karte behandelt.
Ich habe die neue Karte in den Spider eingesetzt und mein Inflight-Entertainment funktioniert tadellos. Ich habe auch den Eindruck das System reagiert insgesamt flotter. Besonders die Navigation ist sofort verfügbar.
Mein Dank geht an stephanwey für die Wiederbelebung dieses Threads, sowie an hako3 Bartimaus und LUSSO für die Hinweise zur Lösung.