lockdep, timer: Fix del_timer_sync() annotation