StatefulMem* functions should be library functions.

src/platform/vboot_reference/vkernel/kernel_image.c

 /* Copyright (c) 2010 The Chromium OS Authors. All rights reserved.
  * Use of this source code is governed by a BSD-style license that can be
  * found in the LICENSE file.
  *
  * Functions for generating and manipulating a verified boot kernel image.
  * (Userland portion)
  */
 #include "kernel_image.h"
 
 #include <fcntl.h>
 #include <stddef.h>
 #include <stdio.h>
 #include <sys/types.h>
 #include <sys/stat.h>
 #include <unistd.h>
 
 #include "cryptolib.h"
 #include "file_keys.h"
 #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. */
 #define FIELD_LEN(field) (sizeof(((KernelImage*)0)->field))
 
 KernelImage* KernelImageNew(void) {
   KernelImage* image = (KernelImage*) Malloc(sizeof(KernelImage));
   if (image) {
     image->kernel_sign_key = NULL;
     image->kernel_key_signature = NULL;
@@ skipping 690 matching lines @@
   // Clean up and return the blob.
 done3:
   Free(bootloader_buf);
 done2:
   Free(config_buf);
 done1:
   Free(kernel_buf);
 done0:
   return blob;
 }