Re: [coreboot] Where were the IRQs set in v2?