Support dev vs consumer firmware in vboot_reference

utility/load_kernel_test.c

Index: utility/load_kernel_test.c
diff --git a/utility/load_kernel_test.c b/utility/load_kernel_test.c
index 9d1f14c3291648adaa368286b2900f878a47e9a0..38e4104fdc1cbe9a29661ffb16a67f8bbf9dec34 100644
--- a/utility/load_kernel_test.c
+++ b/utility/load_kernel_test.c
@@ -144,6 +144,15 @@ int main(int argc, char* argv[]) {
    * heap instead of its actual target address in the firmware. */
   lkp.boot_flags |= BOOT_FLAG_SKIP_ADDR_CHECK;
 
+  /* If the boot flags are for developer mode, non-recovery, add the dev-type
+   * firmware bit.  LoadKernel() masks off the developer bit if the dev
+   * firmware bit is absent, to keep normal firmware from verifying dev
+   * kernels. */
+  if ((lkp.boot_flags & BOOT_FLAG_DEVELOPER)
+      && !(lkp.boot_flags & BOOT_FLAG_RECOVERY)) {
+    lkp.boot_flags |= BOOT_FLAG_DEV_FIRMWARE;
+  }
+
   printf("bootflags = %" PRIu64 "\n", lkp.boot_flags);
 
   /* Get image size */