[PATCH 5.4 006/215] timers: Rename del_timer_sync() to timer_delete_sync()