Bios-Einstellungen sein sollten:
HPET Enabled
HPET 64bit
im EFI-Ordner EFI/Clover/kexts/10.11
wäre vermultlich ein NullCPUPowerManagement von Vorteil
Bootflags die funktionieren könnten:
npci=0x3000 -v –x PCIRootUID=0 nvda_drv=0
npci=0x2000 -v –x PCIRootUID=0 nvda_drv=0
Du solltest darauf achten mit welcher Einstellung du am weitesten kommst. Und an dem Punkt kann man weiter machen.