(comments by rmk, patch from Holger Schurig)

sched_clock() needs to be provided by all architectures - this cset
adds support for ARM.