[coreboot-gerrit] Patch set updated for coreboot: 4c6dccc vortex86ex: Change PCI S/B resource reservation functions for more I/O devices.