Danke für eure Hilfe. Anstatt meine config zu 'verbasteln', hab ich mich dazu entschieden, die PCI-E Karten wieder zurück zu stecken wie sie waren und die ASM1142 USB-Karte funktioniert jetzt wieder ohne Eingriffe und ohne irgendwelche Probleme.
Ich bin wirklich verwundert, wie es sein kann, dass in macOS (auf Bios und Boot-Menü trifft das ja nicht zu) manche PCI-E Ports anscheinend ignoriert zu werden scheinen.
