diff --git a/tboot-1.7.3-format-string.patch b/tboot-1.7.3-format-string.patch
deleted file mode 100644
index a6474a8..0000000
--- a/tboot-1.7.3-format-string.patch
+++ /dev/null
@@ -1,21 +0,0 @@
-diff -up tboot-1.7.3/tb_polgen/param.c.orig tboot-1.7.3/tb_polgen/param.c
---- tboot-1.7.3/tb_polgen/param.c.orig	2012-12-28 01:30:13.000000000 -0500
-+++ tboot-1.7.3/tb_polgen/param.c	2013-01-30 14:34:03.696709545 -0500
-@@ -184,7 +184,7 @@ void print_params(param_data_t *params)
-     info_msg("\t pcr = %d\n", params->pcr);
-     info_msg("\t hash_type = %d\n", params->hash_type);
-     info_msg("\t pos = %d\n", params->pos);
--    info_msg("\t cmdline length = %lu\n", strlen(params->cmdline));
-+    info_msg("\t cmdline length = %u\n", strlen(params->cmdline));
-     info_msg("\t cmdline = %s\n", params->cmdline);
-     info_msg("\t image_file = %s\n", params->image_file);
-     info_msg("\t elt_file = %s\n", params->elt_file);
-@@ -409,7 +409,7 @@ bool parse_input_params(int argc, char *
-                     return false;
-                 }
-                 if (strlen(optarg) > sizeof(params->cmdline) - 1) {
--                    error_msg("Command line length of %lu exceeds %d "
-+                    error_msg("Command line length of %u exceeds %d "
-                               "character maximum\n", 
-                               strlen(optarg), TBOOT_KERNEL_CMDLINE_SIZE-1);
-                     return false;