VerifyKernelHeader() fills a KernelImage*

src/platform/vboot_reference/vboot_firmware/lib/stateful_util.c

Index: src/platform/vboot_reference/vboot_firmware/lib/stateful_util.c
diff --git a/src/platform/vboot_reference/vboot_firmware/lib/stateful_util.c b/src/platform/vboot_reference/vboot_firmware/lib/stateful_util.c
index 4727eab9a0caf5394e8eedc3df6478b2e25ac773..389961b372e1087a761bd175306371f997dc1507 100644
--- a/src/platform/vboot_reference/vboot_firmware/lib/stateful_util.c
+++ b/src/platform/vboot_reference/vboot_firmware/lib/stateful_util.c
@@ -12,6 +12,18 @@
 #include <stdio.h>
 #include <stdlib.h>
 
+void* StatefulSkip(MemcpyState* state, uint64_t len) {
+  if (state->overrun)
+    return NULL;
+  if (len > state->remaining_len) {
+    state->overrun = 1;
+    return NULL;
+  }
+  state->remaining_buf += len;
+  state->remaining_len -= len;
+  return state;                         // have to return something non-NULL
+}
+
 void* StatefulMemcpy(MemcpyState* state, void* dst,
                      uint64_t len) {
   if (state->overrun)