Hi,
One of the qemu developers added AHCI support to SeaBIOS. This support has been tested on qemu, but not on real hardware. It would be great if folks with coreboot supported hardware could also test it. (Unfortunately, my coreboot board doesn't have AHCI.)
To test, grab the latest seabios git (see: http://seabios.org/Download ), edit src/config.h and enable CONFIG_AHCI. (Be sure to also set the other coreboot settings - see: http://www.coreboot.org/SeaBIOS .)
Thanks, -Kevin