VerifyKernelHeader() fills a KernelImage*

src/platform/vboot_reference/vboot_firmware/linktest/main.c

 #include <stdio.h>
 
 #include "cgptlib.h"
 #include "firmware_image_fw.h"
 #include "kernel_image_fw.h"
 #include "load_kernel_fw.h"
 #include "rollback_index.h"
 #include "tlcl.h"
 
 int main(void)
 {
   // cgptlib.h
   GptInit(0);
   GptNextKernelEntry(0, 0, 0);
   GptUpdateKernelEntry(0, 0);
 
   // firmware_image_fw.h
   VerifyFirmwareHeader(0, 0, 0, 0);
   VerifyFirmwarePreamble(0, 0, 0, 0);
   VerifyFirmwareData(0, 0, 0, 0, 0);
   VerifyFirmware(0, 0, 0);
   GetLogicalFirmwareVersion(0);
   VerifyFirmwareDriver_f(0, 0, 0, 0, 0);
 
   // kernel_image_fw.h
   VerifyKernelKeyHeader(0, 0, 0, 0, 0, 0);
   VerifyKernelPreamble(0, 0, 0, 0);
   VerifyKernelData(0, 0, 0, 0, 0);
-  VerifyKernelHeader(0, 0, 0, 0, 0, 0, 0);
+  VerifyKernelHeader(0, 0, 0, 0, 0, 0);
   VerifyKernel(0, 0, 0);
   GetLogicalKernelVersion(0);
   VerifyKernelDriver_f(0, 0, 0, 0);
 
   // load_kernel_fw.h
   // FIXME: LoadKernel(0);
 
   // rollback_index.h
   SetupTPM();
   GetStoredVersion(0);
@@ skipping 12 matching lines @@
   TlclAssertPhysicalPresence();
   TlclSetNvLocked();
   TlclIsOwned();
   TlclForceClear();
   TlclPhysicalEnable();
   TlclPhysicalSetDeactivated(0);
   TlclGetFlags(0, 0);
 
   return 0;
 }