[coreboot] Re: IRQ routing: how to do the mainboard_picr_data/_intr_data structures?