The text b4720eb59bd4, as Debian 13 (Trixie) shipped it.
Retrieves the time information from the TPM.
tpm2_readclock(1) on Linux now
