[PATCH] run_posix_cpu_timers: remove a bogus BUG_ON()