Re: [coreboot] NEW PATCH -- please ignore previous PIRQ patch