CRISv32: use GENERIC_SCHED_CLOCK

Provide a fast sched clock using the free-running timer and the generic
sched_clock infrastructure.

Signed-off-by: Rabin Vincent <rabin@rab.in>
Signed-off-by: Jesper Nilsson <jespern@axis.com>

diff --cc arch/cris/Kconfig
Simple merge

diff --cc arch/cris/arch-v32/kernel/time.c
Simple merge

diff --cc arch/cris/kernel/time.c
Simple merge