Change VerifyFirmware() to take separate pointers to firmware verification header and firmware data.

src/platform/vboot_reference/misclibs/file_keys.c

Index: src/platform/vboot_reference/misclibs/file_keys.c
diff --git a/src/platform/vboot_reference/misclibs/file_keys.c b/src/platform/vboot_reference/misclibs/file_keys.c
index de2821641be3c835ca443ca47961a44e6c0618b0..4963bf4182e23c47209a07c89a156759b657896b 100644
--- a/src/platform/vboot_reference/misclibs/file_keys.c
+++ b/src/platform/vboot_reference/misclibs/file_keys.c
@@ -30,18 +30,17 @@ uint8_t* BufferFromFile(const char* input_file, uint64_t* len) {
   }
 
   if (-1 == fstat(fd, &stat_fd)) {
-    debug("Couldn't stat key file\n");
+    debug("Couldn't stat file\n");
     return NULL;
   }
   *len = stat_fd.st_size;
 
-  /* Read entire key binary blob into a buffer. */
   buf = (uint8_t*) Malloc(*len);
   if (!buf)
     return NULL;
 
   if (*len != read(fd, buf, *len)) {
-    debug("Couldn't read key into a buffer.\n");
+    debug("Couldn't read file into a buffer.\n");
     return NULL;
   }