Vboot Reference: Make length types explicitly sized.

src/platform/vboot_reference/utils/kernel_image.c

Index: src/platform/vboot_reference/utils/kernel_image.c
diff --git a/src/platform/vboot_reference/utils/kernel_image.c b/src/platform/vboot_reference/utils/kernel_image.c
index 20c22a26493c560d65e944f5c1b904ba5fa51d39..893f49a13cef68b9afa7c308ccfdbf751a7a33c4 100644
--- a/src/platform/vboot_reference/utils/kernel_image.c
+++ b/src/platform/vboot_reference/utils/kernel_image.c
@@ -48,7 +48,7 @@ void KernelImageFree(KernelImage* image) {
 }
 
 KernelImage* ReadKernelImage(const char* input_file) {
-  uint32_t file_size;
+  uint64_t file_size;
   int image_len = 0;  /* Total size of the kernel image. */
   int header_len = 0;
   int firmware_sign_key_len;
@@ -314,7 +314,7 @@ void PrintKernelImage(const KernelImage* image) {
   /* Print preamble. */
   printf("Kernel Version = %d\n"
          "Kernel Config Version = %d.%d\n"
-         "kernel Length = %d\n"
+         "kernel Length = %" PRId64 "\n"
          "Kernel Load Address = %" PRId64 "\n"
          "Kernel Entry Address = %" PRId64 "\n\n",
          image->kernel_version,