slightly off-topic, but having a similar problem on my x58 rig, I thought I ask: Do you, by any chance, use OpenCore already, GB? If so, do you also use Windows? I had the problem, that Windows wouldn't boot due to ACPI errors (thought I resolved that, seemed it had a problem with the external...