Well the problem is in my BIOS, theres no such thing as "AHCI" for SATA ports, the only option is enabled or disabled. I checked the kext by MeDevil and my PCI ID was on the list of supported... so im thinking I would need to inject the newest edition of that kext into the ISO's, but I could be wrong. Is there a database to cross reference the hardware and the PCI-ID, I know of one but it tends to become quite inaccurate... is there any software?