[PATCH 4.19 009/175] timers: Rename del_timer_sync() to timer_delete_sync()