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