Support dev vs consumer firmware in vboot_reference

firmware/include/load_kernel_fw.h

Index: firmware/include/load_kernel_fw.h
diff --git a/firmware/include/load_kernel_fw.h b/firmware/include/load_kernel_fw.h
index 4cca8bd57b58f6a1f6a9edb8ca3e0c2bf8b98cd3..16dade1fcd5ca5d7a7de0c6b3a3f96b11e56d93c 100644
--- a/firmware/include/load_kernel_fw.h
+++ b/firmware/include/load_kernel_fw.h
@@ -22,10 +22,14 @@
 
 
 /* Boot flags for LoadKernel().boot_flags */
-#define BOOT_FLAG_DEVELOPER UINT64_C(0x01)  /* Developer switch is on */
-#define BOOT_FLAG_RECOVERY  UINT64_C(0x02)  /* In recovery mode */
-#define BOOT_FLAG_SKIP_ADDR_CHECK UINT64_C(0x04)  /* Skip check of kernel
-                                                   * buffer address */
+/* Developer switch is on */
+#define BOOT_FLAG_DEVELOPER UINT64_C(0x01)
+/* In recovery mode */
+#define BOOT_FLAG_RECOVERY  UINT64_C(0x02)
+/* Skip check of kernel buffer address */
+#define BOOT_FLAG_SKIP_ADDR_CHECK UINT64_C(0x04)
+/* Active main firmware is developer-type, not normal-type or recovery-type. */
+#define BOOT_FLAG_DEV_FIRMWARE UINT64_C(0x08)
 
 typedef struct LoadKernelParams {
   /* Inputs to LoadKernel() */