[coreboot] Patch set updated for coreboot: d1c10ce pirq_route_irqs is private