Device array must hand Device Pointers to kernel