CRISv32: use GENERIC_SCHED_CLOCK