[coreboot-gerrit] Patch set updated for coreboot: a5f2c6f x86 I/O APIC: Move dumping of I/O APIC regs to `ioapic.c`