problem with nic_create_allocator id device driver