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