[coreboot-gerrit] Change in coreboot[master]: mb/gigabyte/ga-h61m-ds2v: Fix PCIe port numbers