VBoot Reference: Output debug information using debug() instead of fprintf().

src/platform/vboot_reference/tests/big_kernel_tests.c

Index: src/platform/vboot_reference/tests/big_kernel_tests.c
diff --git a/src/platform/vboot_reference/tests/big_kernel_tests.c b/src/platform/vboot_reference/tests/big_kernel_tests.c
index c78f622ff74761b32b1c8b44931a88c07e739cd1..a7bbcd849deef2591ef6def9474e66ac719e603b 100644
--- a/src/platform/vboot_reference/tests/big_kernel_tests.c
+++ b/src/platform/vboot_reference/tests/big_kernel_tests.c
@@ -33,7 +33,7 @@ int BigKernelTest() {
   RSAPublicKey* firmware_key = RSAPublicKeyFromFile(kFirmwareKeyPublicFile);
   uint8_t* firmware_key_blob = BufferFromFile(kFirmwareKeyPublicFile, &len);
   uint8_t* kernel_sign_key_buf = BufferFromFile(kKernelKeyPublicFile, &len);
-  fprintf(stderr, "Generating Big KernelImage...");
+  debug("Generating Big KernelImage...");
   KernelImage* image =
       GenerateTestKernelImage(3,  /* RSA2048/SHA1 */
                               0,  /* RSA1024/SHA1 */
@@ -48,7 +48,7 @@ int BigKernelTest() {
     error_code = 1;
     goto cleanup;
   }
-  fprintf(stderr, "Done.\n");
+  debug("Done.\n");
   TEST_EQ(VerifyKernelImage(firmware_key, image, 0),
           VERIFY_FIRMWARE_SUCCESS,
           "Big KernelImage Verification");