[PATCH 6.1 008/272] timers: Rename del_timer_sync() to timer_delete_sync()