[PATCH] vfio: framework supporting vfio device hot migration