Hi Sylvain,

This patch fix problem of PCI boards irq mapping on lite5200
(raised after your changes of MPC52xx_IRQ0 number)

--
Regards
Andrey Volkov