[coreboot-gerrit] Patch set updated for coreboot: df9fbe0 slippy: Put SerialIO devices in PCI mode