diff --git a/script/tf-coverity/coverity_tf_conf.py b/script/tf-coverity/coverity_tf_conf.py
index f110ed9..66e1de9 100644
--- a/script/tf-coverity/coverity_tf_conf.py
+++ b/script/tf-coverity/coverity_tf_conf.py
@@ -25,7 +25,7 @@
     ("drivers/renesas/rzg/ddr/ddr_b/boot_init_dram_config.c",
      "It is used as a header file and is included in boot_init_dram.c .Since it is not explicitly compiled, such file cannot be converted into an instrumented binary for further analysis"),
     ("drivers/auth/cryptocell/713/.*", "There is no dummy library to support 713 for now. This can be removed once we have this library in place"),
-    ("drivers/st/scmi-msg/.*", "Not used by any upstream platform"),
+    ("drivers/scmi-msg/power_domain.c", "Not used by any upstream platform"),
 
     ("plat/arm/board/fvp/fconf/fconf_nt_config_getter.c", "Not currently used. Future functionality"),
     ("plat/marvell/armada/a8k/common/plat_bl1_setup.c", "Not used by any upstream marvell platform"),
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index ee684cf..7fb0609 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -385,7 +385,8 @@
 clean_build PLAT=stingray $(common_flags) BOARD_CFG=bcm958742t-ns3 INCLUDE_EMMC_DRIVER_ERASE_CODE=1
 
 # Platforms from Marvell
-make PLAT=a3700 $(common_flags) SCP_BL2=/dev/null CM3_SYSTEM_RESET=1 A3720_DB_PM_WAKEUP_SRC=1 all
+make PLAT=a3700 $(common_flags) SCP_BL2=/dev/null CM3_SYSTEM_RESET=1 \
+    A3720_DB_PM_WAKEUP_SRC=1 HANDLE_EA_EL3_FIRST=1 all
 
 # Source files from mv-ddr-marvell repository are necessary
 # to build below four platforms
@@ -406,6 +407,8 @@
     CROSS_COMPILE="$(set_cross_compile_gcc_linaro_toolchain)" all mrvl_flash
 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
+make PLAT=t9130_cex7_eval 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
 rm -rf drivers/marvell/mv_ddr 2> /dev/null