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