[coreboot] Patch set updated for coreboot: cdd72d0 pirq_routing: Allow routing with more than 4 PIRQ links