Re: [coreboot] [PATCH] We define IO_APIC_ADDR in <arch/ioapic.h>, let's use it