Documentation: Replace del_timer/del_timer_sync()