Index: src/platform/vboot_reference/vkernel/kernel_image.c |
diff --git a/src/platform/vboot_reference/vkernel/kernel_image.c b/src/platform/vboot_reference/vkernel/kernel_image.c |
index 9dd3da5274c0c8936e6223c43d621c7e35f9a1cb..0c323f7299c9622c947ed0831b880b2444b1e7aa 100644 |
--- a/src/platform/vboot_reference/vkernel/kernel_image.c |
+++ b/src/platform/vboot_reference/vkernel/kernel_image.c |
@@ -19,7 +19,7 @@ |
#include "kernel_blob.h" |
#include "rollback_index.h" |
#include "signature_digest.h" |
-#include "utility.h" |
+#include "stateful_util.h" |
/* Macro to determine the size of a field structure in the KernelImage |
* structure. */ |