Remove obsolete VerifyKernelDriver() and associated data structures.

src/platform/vboot_reference/vboot_firmware/include/kernel_image_fw.h

Index: src/platform/vboot_reference/vboot_firmware/include/kernel_image_fw.h
diff --git a/src/platform/vboot_reference/vboot_firmware/include/kernel_image_fw.h b/src/platform/vboot_reference/vboot_firmware/include/kernel_image_fw.h
index a1a3ba55db447c17ae7c413cbe58e6d435a3c178..4cd53d2a405750b637b3f51c7cca9c9ab658736a 100644
--- a/src/platform/vboot_reference/vboot_firmware/include/kernel_image_fw.h
+++ b/src/platform/vboot_reference/vboot_firmware/include/kernel_image_fw.h
@@ -164,38 +164,4 @@ int VerifyKernel(const uint8_t* signing_key_blob,
  * (kernel_key_version << 16 | kernel_version). */
 uint32_t GetLogicalKernelVersion(uint8_t* kernel_blob);
 
-#define  BOOT_KERNEL_A_CONTINUE 1
-#define  BOOT_KERNEL_B_CONTINUE 2
-#define  BOOT_KERNEL_RECOVERY_CONTINUE 3
-
-/* Contains information about the kernel paritition
- * gleaned from the GPT partition table.
- *
- * Based on the Chromium OS Drive Map design document by
- * rspangler@chromium.org.
- *
-*/
-typedef struct kernel_entry {
-  uint8_t* kernel_blob;  /* Pointer to actual kernel. */
-  uint8_t boot_priority;  /* 15 = highest, 1 = lowest, 0 = not bootable. */
-  uint8_t boot_tries_remaining;  /* Used when boot_priority = 0. */
-  uint8_t boot_success_flag;  /* Set to 1 on successful boot by AU. */
-} kernel_entry;
-
-/* This function is the driver used by the RW firmware to
- * determine which copy of the kernel to boot from. It performs
- * the requisite priority and remaining tries checking for a specific
- * kernel partition, does rollback index checking, including updating
- * if required.
- *
- * Returns the code path to follow. It is one of:
- * BOOT_KERNEL_A_CONTINUE          Boot from Kenrel A
- * BOOT_KERNEL_B_CONTINUE          Boot from Kernel B
- * BOOT_KERNEL_RECOVERY_CONTINUE   Jump to recovery mode
- */
-int VerifyKernelDriver_f(uint8_t* firmware_key_blob,
-                         kernel_entry* kernelA,
-                         kernel_entry* kernelB,
-                         int dev_mode);
-
 #endif  /* VBOOT_REFERENCE_KERNEL_IMAGE_FW_H_ */