OK, so what I can do, which has improved things, is on an absolutely fresh 10.8.2 install I can then select DSDT-free install, the audio driver, the ethernet driver, and the i5 SSDT, and I get a bootable system. Geekbench score is 9000. The CPU cores idle around 40c and when I run Geekbench they...