Scheint ein USB Problem zu sein für den Bootloop.
Mit Windows einfach noch mal ein USB KEXT erstellen und einfügen.
Wenn er das vorher schon gemacht hat, was soll das gleiche Prozedere dann noch bringen? Meinst du, Windows erkennt dieses mal dann neue Ports?