review.coreboot.org / coreboot / 016cc4296e7040c60c741b186d6b3e87a688421c / src / mainboard / siemens / mc_bdx1 / irqroute.c