[coreboot-gerrit] Patch set updated for coreboot: siemens/mc_bdx1: Move SCI to IRQ 10