Re: [coreboot] PIRQ changes