mlx5dv_dek_destroy(3) on Linux

The text 77540cad065c, as Debian 12 (Bookworm) shipped it.

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