Vboot Reference: Make length types explicitly sized.

src/platform/vboot_reference/include/kernel_image.h

 /* Copyright (c) 2010 The Chromium OS Authors. All rights reserved.
  * Use of this source code is governed by a BSD-style license that can be
  * found in the LICENSE file.
  *
  * Data structure and API definitions for a verified boot kernel image.
  */
 
 #ifndef VBOOT_REFERENCE_KERNEL_IMAGE_H_
 #define VBOOT_REFERENCE_KERNEL_IMAGE_H_
 
 #include <inttypes.h>
 
 #include "rsa.h"
 #include "sha.h"
 
 #define KERNEL_MAGIC "CHROMEOS"
 #define KERNEL_MAGIC_SIZE 8
 
 /* Kernel config file options according to the Chrome OS drive map design. */
 typedef struct kconfig_options {
   uint32_t version[2];  /* Configuration file version. */
-  uint32_t kernel_len;  /* Size of the kernel. */
+  uint64_t kernel_len;  /* Size of the kernel. */
   uint64_t kernel_load_addr;  /* Load address in memory for the kernel image */
   uint64_t kernel_entry_addr;  /* Address to jump to after kernel is loaded. */
 } kconfig_options;
 
 
 typedef struct KernelImage {
   uint8_t magic[KERNEL_MAGIC_SIZE];
   /* Key header */
   uint16_t header_version;  /* Header version. */
   uint16_t header_len;  /* Length of the header. */
@@ skipping 170 matching lines @@
 
 /* Add a kernel and kernel config signature to a kernel image [image]
  * using the private signing key in file [kernel_sigining_key_file].
  *
  * Return 1 on success, 0 on failure.
  */
 int AddKernelSignature(KernelImage* image,
                        const char* kernel_sigining_key_file);
 
 #endif  /* VBOOT_REFERENCE_KERNEL_IMAGE_H_ */