Re: [PATCH] util: basic support for vendor-specific vfio drivers