Index: src/platform/vboot_reference/utils/kernel_image.c |
diff --git a/src/platform/vboot_reference/utils/kernel_image.c b/src/platform/vboot_reference/utils/kernel_image.c |
index a1b943f83a556fecd489bdf24dca60eb24e582e9..81aa06fdaead884cd6b515b60d7edd393136b593 100644 |
--- a/src/platform/vboot_reference/utils/kernel_image.c |
+++ b/src/platform/vboot_reference/utils/kernel_image.c |
@@ -404,6 +404,7 @@ int VerifyKernelHeader(const uint8_t* firmware_key_blob, |
kernel_sign_key_len), |
FIELD_LEN(header_checksum))) { |
Free(header_checksum); |
+ fprintf(stderr, "VerifyKernelHeader: Invalid header hash\n"); |
return VERIFY_KERNEL_INVALID_IMAGE; |
} |
Free(header_checksum); |