:: commit 4f55a8f0513cfc4c5263bbbe280988e7f7ef6407

diff --git a/common/protos/linux_x86.c b/common/protos/linux_x86.c
index b506c823..01b809e9 100644
--- a/common/protos/linux_x86.c
+++ b/common/protos/linux_x86.c
@@ -425,7 +425,7 @@ noreturn void linux_load(char *config, char *cmdline) {
 
 #if defined (UEFI)
     tpm_measure(TPM_PCR_LOADED_IMAGES, TPM_EV_IPL,
-                (void *)kernel_load_addr, kernel_data_size, "Linux kernel");
+                kernel_file->fd, kernel_file->size, "Linux kernel");
 #endif
 
     fclose(kernel_file);