Linux Device Driver for Trusted Platform Module (TPM) .