mlx5dv_get_vfio_device_list(3) on Linux

The text 8d398bd77c5a, as Debian 13 (Trixie) shipped it.

Get list of available devices to be used over VFIO

mlx5dv_get_vfio_device_list(3) on Linux now