[PATCH 5.15.y 07/14] timers: Rename del_timer() to timer_delete()