Merge "sched/cputime: Fix a deadlock on 32bit systems"