[tpm2] [01org/tpm2-tools] c9b3d9: Delete manual