[Linaro-mm-sig] [PATCH 2/4] vfio: Add vfio_device_get()