[coreboot-gerrit] Patch merged into coreboot/master: ac75bc6 x86 I/O APIC: Make functions `io_apic_{read, write}()` public