[coreboot] Patch merged into coreboot/master: 56d8c3c pci_ids: Add sb800 SATA device raid mode device id