small optimization to device_scheduler::timer_list_insert() (nw)