I'm looking to build my first Hackintosh and after looking through the December Buying guide, i've settled on the GA-Z87X-UD3H motherboard. However, in the DSDT database, there are no socket 1150 DSDT's. Since this is my first build and I am new, is it recommended that I stick to motherboards...