[coreboot] irq routing in multi-core environment