The text 9c151266a678, as Debian 10 (Buster) shipped it.
API function
gnutls_tpm_get_registered(3) on Linux now
