[PATCH] ppc32: ppc_sys fixes for 8xx and 82xx