TPM_CAPBITS
printf("tpm: caps=%b\n", r, TPM_CAPBITS);
printf("tpm: caps too low (caps=%b)\n", r, TPM_CAPBITS);
printf(" caps=%b ", r, TPM_CAPBITS);
printf(": capabilities too low (caps=%b)\n", r, TPM_CAPBITS);