Patch merged into coreboot/master: abf6023 Enable SATA AHCI for faster boot with SeaBIOS.

the following patch was just integrated into master:
commit abf6023240551414875109227f4f3e13465738d9
Author: Marc Jones 
Date:   Fri Sep 16 17:08:01 2011 -0600

Enable SATA AHCI for faster boot with SeaBIOS.

Change-Id: Ibd87422680350c112eabe1bb73b237031c3e9d6b
    Signed-off-by: Marc Jones

See http://review.coreboot.org/220 for details.

-gerrit