[PATCH] ppc32: i8259 PIC should not be initialized if PCI is not configured