Symbol: FIRMWARE_VERDE