cffi wrappers of vx_vendors and vx_kernels