marvell: a8k: set BL33 to /dev/null

TF-A build for Marvell a8k requires u-boot binary to be specified in
BL33 variable. As CI does not test and check compilation of u-boot, set
BL33 just to /dev/null like it is for SCP_BL2.

Signed-off-by: Pali Rohár <pali@kernel.org>
Change-Id: If3bc38a0dcd9891a6bd5ae4ff17a879e43a0f0b8
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 65dc3a8..41e0b2d 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -372,17 +372,17 @@
 mv mv-ddr-marvell drivers/marvell/mv_ddr
 
 # These platforms from Marvell have dependency on GCC-6.2.1 toolchain
-make PLAT=a80x0 DEBUG=1 SCP_BL2=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
+make PLAT=a80x0 DEBUG=1 SCP_BL2=/dev/null BL33=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
     CROSS_COMPILE="$(set_cross_compile_gcc_linaro_toolchain)" all mrvl_flash
-make PLAT=a80x0_mcbin DEBUG=1 SCP_BL2=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
+make PLAT=a80x0_mcbin DEBUG=1 SCP_BL2=/dev/null BL33=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
     CROSS_COMPILE="$(set_cross_compile_gcc_linaro_toolchain)" all mrvl_flash
-make PLAT=a70x0 DEBUG=1 SCP_BL2=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
+make PLAT=a70x0 DEBUG=1 SCP_BL2=/dev/null BL33=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
     CROSS_COMPILE="$(set_cross_compile_gcc_linaro_toolchain)" all mrvl_flash
-make PLAT=a70x0_amc DEBUG=1 SCP_BL2=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
+make PLAT=a70x0_amc DEBUG=1 SCP_BL2=/dev/null BL33=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
     CROSS_COMPILE="$(set_cross_compile_gcc_linaro_toolchain)" all mrvl_flash
-make PLAT=a80x0_puzzle DEBUG=1 SCP_BL2=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
+make PLAT=a80x0_puzzle DEBUG=1 SCP_BL2=/dev/null BL33=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
     CROSS_COMPILE="$(set_cross_compile_gcc_linaro_toolchain)" all mrvl_flash
-make PLAT=t9130 DEBUG=1 SCP_BL2=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
+make PLAT=t9130 DEBUG=1 SCP_BL2=/dev/null BL33=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
     CROSS_COMPILE="$(set_cross_compile_gcc_linaro_toolchain)" all mrvl_flash
 
 # Removing the source files
diff --git a/tf_config/a70x0-default b/tf_config/a70x0-default
index 46933c4..7bc9d46 100644
--- a/tf_config/a70x0-default
+++ b/tf_config/a70x0-default
@@ -1,3 +1,4 @@
 CROSS_COMPILE=/arm/pdsw/tools/gcc-linaro-6.2.1-2016.11-x86_64_aarch64-linux-gnu/bin/aarch64-linux-gnu-
 PLAT=a70x0
 SCP_BL2=/dev/null
+BL33=/dev/null
diff --git a/tf_config/a70x0_amc-default b/tf_config/a70x0_amc-default
index 9596452..c458887 100644
--- a/tf_config/a70x0_amc-default
+++ b/tf_config/a70x0_amc-default
@@ -1,3 +1,4 @@
 CROSS_COMPILE=/arm/pdsw/tools/gcc-linaro-6.2.1-2016.11-x86_64_aarch64-linux-gnu/bin/aarch64-linux-gnu-
 PLAT=a70x0_amc
 SCP_BL2=/dev/null
+BL33=/dev/null
diff --git a/tf_config/a80x0-default b/tf_config/a80x0-default
index be2c5d8..ee6617d 100644
--- a/tf_config/a80x0-default
+++ b/tf_config/a80x0-default
@@ -1,3 +1,4 @@
 CROSS_COMPILE=/arm/pdsw/tools/gcc-linaro-6.2.1-2016.11-x86_64_aarch64-linux-gnu/bin/aarch64-linux-gnu-
 PLAT=a80x0
 SCP_BL2=/dev/null
+BL33=/dev/null
diff --git a/tf_config/a80x0-puzzle-default b/tf_config/a80x0-puzzle-default
index 340b016..9087582 100644
--- a/tf_config/a80x0-puzzle-default
+++ b/tf_config/a80x0-puzzle-default
@@ -1,3 +1,4 @@
 CROSS_COMPILE=/arm/pdsw/tools/gcc-linaro-6.2.1-2016.11-x86_64_aarch64-linux-gnu/bin/aarch64-linux-gnu-
 PLAT=a80x0-puzzle
 SCP_BL2=/dev/null
+BL33=/dev/null
diff --git a/tf_config/a80x0_mcbin-default b/tf_config/a80x0_mcbin-default
index 07f5549..8a4fcdb 100644
--- a/tf_config/a80x0_mcbin-default
+++ b/tf_config/a80x0_mcbin-default
@@ -1,3 +1,4 @@
 CROSS_COMPILE=/arm/pdsw/tools/gcc-linaro-6.2.1-2016.11-x86_64_aarch64-linux-gnu/bin/aarch64-linux-gnu-
 PLAT=a80x0_mcbin
 SCP_BL2=/dev/null
+BL33=/dev/null
diff --git a/tf_config/t9130-default b/tf_config/t9130-default
index 5fa2ef4..b4fc671 100644
--- a/tf_config/t9130-default
+++ b/tf_config/t9130-default
@@ -1,3 +1,4 @@
 CROSS_COMPILE=/arm/pdsw/tools/gcc-linaro-6.2.1-2016.11-x86_64_aarch64-linux-gnu/bin/aarch64-linux-gnu-
 PLAT=t9130
 SCP_BL2=/dev/null
+BL33=/dev/null