[coreboot] PIRQ changes