ARM: picoxcell: fix sched_clock() cleanup fallout