The text 0aec4469bb85, as Debian 10 (Buster) shipped it.
get an RDMA device's GUID
ibv_get_device_guid(3) on Linux now
