xtensa: use generic sched_clock()