TPM_IO_TpmEstablished_Get(3) on Linux

The text 4c6531dda326, as Debian 12 (Bookworm) shipped it.

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