[coreboot-gerrit] New patch to review for coreboot: 456b8ab Intel i82801gx: Use 2 << 24 to clarify that I/O APIC ID is 2