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