[coreboot-gerrit] Patch set updated for coreboot: b8fa838 Intel 82801gx: Use 2 << 24 to clarify that I/O APIC ID is 2