[PATCH] i386: improve sched_clock() on i686