[coreboot] New patch to review for coreboot: 83f6dce Fix PIRQ routing abstraction