[PATCH] ppc32: odd fixes and improvements in ppc_sys