mlx5dv_destroy_mkey(3) on Linux

The text 380d96ee8016, as Debian 11 (Bullseye) shipped it.

Creates an indirect mkey mlx5dv_create_mkey - Destroys an indirect mkey

mlx5dv_destroy_mkey(3) on Linux now