Add lots of debugging to TPM library.

firmware/stub/utility_stub.c

Index: firmware/stub/utility_stub.c
diff --git a/firmware/stub/utility_stub.c b/firmware/stub/utility_stub.c
index 1445008ce1ffd5cf0b8188f5ff96d34e6e8bb701..fdce55327180ec95a848aa1e1127626c07a2e57e 100644
--- a/firmware/stub/utility_stub.c
+++ b/firmware/stub/utility_stub.c
@@ -26,7 +26,7 @@ void error(const char *format, ...) {
 void debug(const char *format, ...) {
   va_list ap;
   va_start(ap, format);
-  fprintf(stderr, "WARNING: ");
+  fprintf(stderr, "DEBUG: ");
   vfprintf(stderr, format, ap);
   va_end(ap);
 }
@@ -53,7 +53,7 @@ void* Memcpy(void* dest, const void* src, uint64_t n) {
 }
 
 void* Memset(void* d, const uint8_t c, uint64_t n) {
-  uint8_t *dest = d; /* the only way to keep both cl and gcc happy */
+  uint8_t* dest = d; /* the only way to keep both cl and gcc happy */
   while (n--) {
     *dest++ = c;
   }