[coreboot-gerrit] Patch set updated for coreboot: 12c7516 AGESA f14 f15tn 16kb: Move IOAPIC ID setup out of get_bus_conf()