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