Switch to using .vbprivk for signing everything now.

tests/kernel_verify_benchmark.c

Index: tests/kernel_verify_benchmark.c
diff --git a/tests/kernel_verify_benchmark.c b/tests/kernel_verify_benchmark.c
index 9ee508c395cc51a8badb958513b71af62ae3d6d1..c16dfcb8bdbd0230a75486bb6692132aefaa1383 100644
--- a/tests/kernel_verify_benchmark.c
+++ b/tests/kernel_verify_benchmark.c
@@ -73,7 +73,7 @@ int SpeedTestAlgorithm(int firmware_sign_algorithm,
            kernel_key_size);
   kernel_sign_key = BufferFromFile(file_name, &len);
   if (!kernel_sign_key) {
-    debug("Couldn't read pre-processed public kernel signing key.\n");
+    VBDEBUG(("Couldn't read pre-processed public kernel signing key.\n"));
     error_code = 1;
     goto cleanup;
   }
@@ -89,7 +89,7 @@ int SpeedTestAlgorithm(int firmware_sign_algorithm,
                                              firmware_sign_key_file,
                                              kernel_sign_key_file);
     if (!kernel_blobs[i]) {
-      debug("Couldn't generate test firmware images.\n");
+      VBDEBUG(("Couldn't generate test firmware images.\n"));
       error_code = 1;
       goto cleanup;
     }
@@ -100,7 +100,7 @@ int SpeedTestAlgorithm(int firmware_sign_algorithm,
            firmware_key_size);
   firmware_key_blob = BufferFromFile(file_name, &len);
   if (!firmware_key_blob) {
-    debug("Couldn't read pre-processed firmware public key.\n");
+    VBDEBUG(("Couldn't read pre-processed firmware public key.\n"));
     error_code = 1;
     goto cleanup;
   }
@@ -111,7 +111,7 @@ int SpeedTestAlgorithm(int firmware_sign_algorithm,
     for (j = 0; j < NUM_OPERATIONS; ++j) {
       if (VERIFY_KERNEL_SUCCESS !=
           VerifyKernel(firmware_key_blob, kernel_blobs[i], 0))
-        debug("Warning: Kernel Verification Failed.\n");
+        VBDEBUG(("Warning: Kernel Verification Failed.\n"));
     }
     StopTimer(&ct);
     msecs = (float) GetDurationMsecs(&ct) / NUM_OPERATIONS;