[coreboot-gerrit] Patch merged into coreboot/master: sb/intel/bd82x6x: Assign unique bus/dev/fn for I/O APIC + HPETs