Lava jobs update raspberrypi3 device_type name

For the raspberrypi3, update the device_type name to the LAVA
names for the rpi3 32bit:
- raspberrypi3-uboot
- bcm2837-rpi-3-b-32b

Change-Id: Icc654e47fd03b437165fb9c9aac5efdac490ef5c
Signed-off-by: Loys Ollivier <lollivier@baylibre.com>

diff --git a/jjb/common/include-agl-lava-jobs-submit.sh b/jjb/common/include-agl-lava-jobs-submit.sh
index d8578d3..3ebe883 100644 (file)
--- a/jjb/common/include-agl-lava-jobs-submit.sh
+++ b/jjb/common/include-agl-lava-jobs-submit.sh
@@ -19,7 +19,8 @@ echo "Found device_type $__device_type in LAVA job $JOB_FILE"
 
 declare -A dt_aliases
 dt_aliases=(
-    [raspberrypi3-uboot]="bcm2837-rpi-3-b"
+    [raspberrypi3-uboot]="bcm2837-rpi-3-b-32b"
+    [bcm2837-rpi-3-b-32b]="raspberrypi3-uboot"
 )
 device_types=$__device_type
 device_types+=" "