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