[PATCH 5.10 006/294] timers: Rename del_timer_sync() to timer_delete_sync()