[coreboot] New patch to review for coreboot: 9ac8fd2 Unify IO APIC address specification