[PATCH] ppc32: Workaround a cache flush issue on sleep