CRIS: Add sched_clock to kernel/time.c

Also, clean up some whitespace errors.
1 file changed