[coreboot] Patch merged into coreboot/master: eb837a7 sb800: Add sata ahci/raid mode kconfig option