small optimization to device_execute_interface::local_time() (nw)