Eine gepachte DSDT ist ein Problem für OpenCore. Dualboot auch.
Wenn Clover Top läuft würde ich nicht wechseln.
Und alle die schreiben OpenCore ist das bessere Boot System würde ich mal empfehlen das neue Clover zu testen. Absolut easy wenn man das mit den Quiks verstanden hat.