Danke für die schnelle Antwort, Apfel-Baum! Es handelt sich um den Front-USB-Port der bei der Clover-Installation immer durchgelaufen ist, allerdings via EHCI. Da hätte ich drauf kommen können. Ohne AptioInputFix-64 kam ich gar nicht zum Boot-Menue, über das ich dann auch das NVRAM-Reset durchgeführt hatte ...
Nun hat es nach einigen Probieren tatsächlich funktioniert: Vielen Dank für die Tipps!
Grüße aus Kerpen