| 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. */
|
|
|