After I got the DSDT from Dinesh I had similar problem. The error message was something like .. Should have X cores but found Y. I edited the DSDT file to reduce the number of processors from 32 to 24, thinking that there are 12 cores total, each with hyperthreading enabled may appear as total of 24 cores. The error related to number of cores went away, but the boot gets stuck at a different error.
Unable to find driver for this platform: \'ACPI\' ...
When I googled for it, it seems that lot of people have had this error in the past, but I didn't see a clear solution. Tried a bunch of things like acpi=off and platform=x86pc, etc. But, always kept getting the same error. What could be causing this?
Thanks for any help. I really hope to get OS X running on this machine some time soon.