TPM_IO_TpmEstablished_Get(3) on Linux

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

get the value of the TPMEstablished flag TPM_IO_TpmEstablished_Reset - reset the TPMEstablished flag