[coreboot-gerrit] Patch merged into coreboot/master: 66cb8b4 vortex86ex: Change PCI S/B resource reservation functions for more I/O devices.