[PATCH] ppc32: Fix an off-by-one error in ipic_init