Da hast du allerdings Recht. Ich habe den USB Stick (mit dem 15.4 Image) noch mal angeschlossen und von da gebootet und "System aktualisieren" ausgewählt. Und siehe da: Er erkennt die USB Ports wieder. Muss man jetzt nicht verstehen, warum das beim ersten Mal nicht funktioniert hat - aber egal. Es funzt erst mal wieder.
Danke für die Hilfe.
![]()