Prima, hatte ich es mir doch gedacht. Habe bei mir jetzt auch aufbauend auf der unten angehängten Version (lediglich Pfade geändert) die SSDT getestet, die If-Schleife funktioniert ebenfalls:
Edit: Eine gute Idee von kuckkuck
Denn mit OpenCore wird die SSDT immer in die ACPI geladen, egal was für ein System. Es gibt keine Unterscheidung wie bei Clover zwischen macOS und Windows. Somit wird diese SSDT nur aktiv, wenn auch "Darwin" am Start ist.
Edit2: USB werde ich mir noch anschauen. Und wenn das alles ein Ende hat, dann könnte vielleicht Sascha_77 einen Generator schreiben, der den vorhandenen TB-Controller erkennt und an welchem Gerät der hängt und eine fertige SSDT ausspuckt. Wäre echt fein …