[PATCH 4.17 029/336] vfio/mdev: Check globally for duplicate devices