according to osenv_device_lookup using an oskit_etherdev_iid