Fix LoadKernel()

src/platform/vboot_reference/vboot_firmware/include/load_kernel_fw.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.
  *
  * High-level firmware API for loading and verifying kernel.
  * (Firmware Portion)
  */
 
 #ifndef VBOOT_REFERENCE_LOAD_KERNEL_FW_H_
 #define VBOOT_REFERENCE_LOAD_KERNEL_FW_H_
@@ skipping 20 matching lines @@
                                  * device */
   void *kernel_buffer;          /* Destination buffer for kernel
                                  * (normally at 0x100000) */
   uint64_t kernel_buffer_size;  /* Size of kernel buffer in bytes */
   uint8_t boot_mode;            /* Boot mode */
 
   /* Outputs from LoadKernel(); valid only if LoadKernel() returns
    * LOAD_KERNEL_SUCCESS */
   uint64_t partition_number;    /* Partition number to boot on current device
                                  * (1...M) */
-  void *bootloader_start;       /* Start of bootloader image */
+  uint64_t bootloader_address;  /* Address of bootloader image in RAM */
   uint64_t bootloader_size;     /* Size of bootloader image in bytes */
 } LoadKernelParams;
 
 int LoadKernel(LoadKernelParams* params);
 /* Attempts to load the kernel from the current device.
  *
  * Returns LOAD_KERNEL_SUCCESS if successful, error code on failure. */
 
 
 typedef struct KernelBootloaderOptions {
   /* The bootloader is loaded using the EFI LoadImage() and StartImage()
    * calls.  Pass this struct via loaded_image->load_options. */
   uint64_t drive_number;        /* Drive number of boot device (0...N) */
   uint64_t partition_number;    /* Partition number, as returned from
                                  * LoadKernel() in
                                  * LoadKernelParams.partition_number */
   uint64_t original_address;    /* Absolute bootloader start adddress,
                                  * as returned from LoadKernel() in
                                  * LoadKernelParams.bootloader_start */
 } KernelBootloaderOptions;
 
 
 #endif  /* VBOOT_REFERENCE_LOAD_KERNEL_FW_H_ */