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