vfio: Fix 128 bit handling