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