bebop board config: add a separate SOC_ARCH_ID

src/drivers/boards/bebop/board_config.h

@@ -40,7 +40,7 @@
 #pragma once
 
 #define BOARD_OVERRIDE_UUID "BEBOPID000000000" // must be of length 16
-#define PX4_SOC_ARCH_ID 0x1006
+#define PX4_SOC_ARCH_ID PX4_SOC_ARCH_ID_BEBOP
 
 #define BOARD_NAME "BEBOP"
 

src/drivers/boards/common/board_common.h

@@ -342,6 +342,7 @@ typedef enum PX4_SOC_ARCH_ID_t {
 	PX4_SOC_ARCH_ID_RPI            =  0x1004,
 	PX4_SOC_ARCH_ID_SIM            =  0x1005,
 	PX4_SOC_ARCH_ID_SITL           =  0x1006,
+	PX4_SOC_ARCH_ID_BEBOP          =  0x1007,
 
 } PX4_SOC_ARCH_ID_t;