Bug fixes and timing code. This is the first fully functional code,

src/platform/tpm_lite/src/tlcl/tlcl_internal.h

Index: src/platform/tpm_lite/src/tlcl/tlcl_internal.h
diff --git a/src/platform/tpm_lite/src/tlcl/tlcl_internal.h b/src/platform/tpm_lite/src/tlcl/tlcl_internal.h
index f9a1b7b83fa9aa1e9769543f395de4eedfaee169..e078fa9c17d6b3735d6d92d887d66bbf6eea94e8 100644
--- a/src/platform/tpm_lite/src/tlcl/tlcl_internal.h
+++ b/src/platform/tpm_lite/src/tlcl/tlcl_internal.h
@@ -7,8 +7,6 @@
 #define TPM_LITE_TLCL_INTERNAL_H_
 
 #include <stdint.h>
-#include <stdio.h>
-#include <stdlib.h>
 
 typedef int bool;
 const bool true = 1;
@@ -60,7 +58,7 @@ static INLINE void FromTpmUint16(const uint8_t *buffer, uint16_t *x) {
  * TPM commands manual.
  */
 const int kTpmRequestHeaderLength = 10;
-const int kTpmResponseHeaderLength = 14;
+const int kTpmResponseHeaderLength = 10;
 const int kTpmReadInfoLength = 12;
 const int kEncAuthLength = 20;