Support dev vs consumer firmware in vboot_reference

firmware/include/load_kernel_fw.h

 /* 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.
  *
  * High-level firmware API for loading and verifying kernel.
  * (Firmware Portion)
  */
 
 #ifndef VBOOT_REFERENCE_LOAD_KERNEL_FW_H_
 #define VBOOT_REFERENCE_LOAD_KERNEL_FW_H_
 
 #include "sysincludes.h"
 
 /* Interface provided by verified boot library to BDS */
 
 /* Return codes for LoadKernel() */
 #define LOAD_KERNEL_SUCCESS 0    /* Success; good kernel found on device */
 #define LOAD_KERNEL_NOT_FOUND 1  /* No kernel found on device */
 #define LOAD_KERNEL_INVALID 2    /* Only invalid kernels found on device */
 #define LOAD_KERNEL_RECOVERY 3   /* Internal error; reboot to recovery mode */
 #define LOAD_KERNEL_REBOOT 4     /* Internal error; reboot to current mode */
 
 
 /* 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() */
   void *header_sign_key_blob;   /* Key blob used to sign the kernel header */
   uint64_t bytes_per_lba;       /* Bytes per lba sector on current device */
   uint64_t ending_lba;          /* Last addressable lba sector on current
                                  * device */
   void *kernel_buffer;          /* Destination buffer for kernel
                                  * (normally at 0x100000) */
   uint64_t kernel_buffer_size;  /* Size of kernel buffer in bytes */
@@ skipping 22 matching lines @@
                                  * LoadKernel() in
                                  * LoadKernelParams.partition_number */
   uint64_t original_address;    /* Absolute bootloader start adddress,
                                  * as returned from LoadKernel() in
                                  * LoadKernelParams.bootloader_start */
   uint8_t  partition_guid[16];  /* UniquePartitionGuid for boot partition */
 } KernelBootloaderOptions;
 
 
 #endif  /* VBOOT_REFERENCE_LOAD_KERNEL_FW_H_ */