[coreboot-gerrit] Patch set updated for coreboot: 87b1437 x86 I/O APIC: Dump I/O APIC regs in `ioapic.c`