[PATCH] ppc: fix-up schedule_timeout() usage