[coreboot] Patch for Nokia-IP530, now with working PIRQ table

[mbertens]

Signed-off-by: Marc Bertens

Hello all,

Here is the update for the Nokia IP530 system. it has now working NICs
and correct PIRQ table. corrections where made to serveral files.

Currently the PCMCIA controller need some more work, it uses a PCI1225
of Texas Instruments. Any help with this is appreciated.

Marc.