@kuckkuck
Nein, kein Grund zur "Sorge", natürlich hatte ich auch das jedesmal probiert.
Immer mit/ohne DSDT, mit/ohne Kexte, mit/ohne iGPU und BIOS1/BIOS2 der Grafikkarte.
Hab' mir eine Tabelle gemacht gehabt in der ich jede Einstellung und das Ergebnis dazu notieren konnte.
dsdt aus dem Gigabyte-BIOS
Was bedeutet nicht korrekt dekompiliert? Von mir, oder von Gigabyte?