mlx5dv_dek_destroy(3) on Linux

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

Creates a DEK mlx5dv_dek_query - Queries a DEK’s attributes mlx5dv_dek_destroy - Destroys a DEK