Re: [coreboot] Patch for Nokia-IP530, now with working PIRQ table, patch on 5591