Vboot Reference: Add kernel image verification benchmark.

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_
 
@@ skipping 88 matching lines @@
  *
  * Caller owns the returned pointer and must Free() it.
  */
 uint8_t* GetKernelConfigBlob(const KernelImage* image);
 
 /* Get a verified kernel binary blob from an [image] and fill
  * its length into blob_len.
  *
  * Caller owns the returned pointer and must Free() it.
  */
-uint8_t* GetKernelBlob(const KernelImage* image, int* blob_len);
+uint8_t* GetKernelBlob(const KernelImage* image, uint64_t* blob_len);
 
 /* Write kernel data from [image] to a file named [input_file].
  *
  * Return 1 on success, 0 on error.
  */
 int WriteKernelImage(const char* input_file,
                      const KernelImage* image);
 
 /* Pretty print the contents of [image]. Only headers and metadata information
  * is printed.
@@ skipping 95 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_ */