Esys_SequenceUpdate(3) on Linux

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

The ESAPI function for the TPM2_SequenceUpdate command.

Esys_SequenceUpdate(3) on Linux now