Fix debug info parameter error
am: 3268d796df

Change-Id: I7b1013d0095e7e1b499c36669a4542cea333b656
diff --git a/futility/cmd_vbutil_kernel.c b/futility/cmd_vbutil_kernel.c
index c7b3c78..a1ac5ab 100644
--- a/futility/cmd_vbutil_kernel.c
+++ b/futility/cmd_vbutil_kernel.c
@@ -193,7 +193,7 @@
 	}
 	Debug("%s size is 0x%" PRIx64 "\n", filename, file_size);
 	if (file_size < opt_pad)
-		Fatal("%s is too small to be a valid kernel blob\n");
+		Fatal("%s is too small to be a valid kernel blob\n", filename);
 
 	Debug("Reading %s\n", filename);
 	fp = fopen(filename, "rb");