sper.nilsson@axis.com> 1202465197 +0100

CRIS: Add sched_clock to kernel/time.c

Also, clean up some whitespace errors.