[U-Boot-Users] Re: Interrupt management under PPC4xx platform