Hi I'm trying to build with a similar configuration. Are you running 10.8 or 10.9 or 10.10?
Thanks a lot!
I was running 10.10. I believe, based on the dates, that kareldc would have been running 10.9 originally. 10.8 may or may not work (I'd guess it would since the hardware is about 4 years old), but isn't really relevant anymore. It's DSDT-free, so just make a USB drive for the version you want and give it a try.