I am making my Dell Optiplex 745 Desktop into a Hackintosh, and I need to set both PCH SATA Control Mode and Onboard SATA/IDE Ctrl Mode to AHCI. However, whenever I look in my BIOS, I cannot find the option to. I also need to change HPET to 64-bit in the Power Management panel, but that is not there either.