[PATCH 5.15 009/690] timers: Rename del_timer_sync() to timer_delete_sync()