Remove obsolete VerifyKernelDriver() and associated data structures.

src/platform/vboot_reference/tests/kernel_rollback_tests.c

Index: src/platform/vboot_reference/tests/kernel_rollback_tests.c
diff --git a/src/platform/vboot_reference/tests/kernel_rollback_tests.c b/src/platform/vboot_reference/tests/kernel_rollback_tests.c
index c821ee8e98907498d8f796b1739387878f50a23f..89b2445461c800c7949b9df0852f2d2bdab1b5f7 100644
--- a/src/platform/vboot_reference/tests/kernel_rollback_tests.c
+++ b/src/platform/vboot_reference/tests/kernel_rollback_tests.c
@@ -23,6 +23,9 @@ void VerifyKernelDriverTest(void) {
   uint64_t len;
   uint8_t* firmware_key_pub = BufferFromFile(kFirmwareKeyPublicFile, &len);
 
+  /* TODO(gauravsh): Rebase this to use LoadKernel() (maybe by making
+   * it a part of load_kernel_test.c */
+#if 0
   /* Initialize kernel blobs, including their associated parition
    * table attributed. */
   kernel_entry valid_kernelA =  {
@@ -134,12 +137,13 @@ void VerifyKernelDriverTest(void) {
           BOOT_KERNEL_A_CONTINUE,
           "(Valid Kernel A (new version)\n"
           " Valid Kernel B (old version) runs A):");
-
-  Free(firmware_key_pub);
   Free(valid_kernelA.kernel_blob);
   Free(valid_kernelB.kernel_blob);
   Free(corrupt_kernelA.kernel_blob);
   Free(corrupt_kernelB.kernel_blob);
+#endif
+
+  Free(firmware_key_pub);
 }
 
 int main(int argc, char* argv[]) {