Re: [coreboot] Patch for Nokia-IP530, now with working PIRQ table, fix on the pirq_routing