[coreboot] Patch merged into master: 838a68e Revert changes to set the sb800 to AHCI mode.