It won't boot unless put into what the Supermicro BIOS calls "Legacy AHCI" mode, which disable ports 5 and 6. This is regardless of using Vanilla or Voodoo kernel, standard Intel ICHx driver or ICH10 specific. With "Legacy AHCI" enabled in the BIOS, it does boot. Not so much concerned about what system profiler says as the fact I have to turn that mode on for it to boot, which turns off ports 5 & 6.

This is odd because it can be left "normal" or "full" AHCI in the BIOS, all 6 ports available, and when booting from the DVD there are no issues- all 6 ports show in system profiler. So that's why I was trying to figure out what storage kext the DVD is using to boot, since that one works.

But it's irrelevant now, as I've replaced the board with a Intel DP43TF. Needed to build a 2nd PC, so it was the perfect time to get something with OSX86 compliance in mind