[coreboot-gerrit] New patch to review for coreboot: 1e8f04c x86 I/O APIC: Make functions `io_apic_{read, write}()` public