revert: use debug builds for Coverity again

Now that we can choose to build FVP images with up to a 512KB Trusted
SRAM, we can disapply `DEBUG=0` on these Coverity builds again.

Signed-off-by: Chris Kay <chris.kay@arm.com>
Change-Id: Ie2fa1104191c8e32d236940d681fcd0fac2b4a9b
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 1c5315d..7ad31bd 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -191,8 +191,8 @@
 # CoT descriptors in device tree
 clean_build $fvp_common_flags ${ARM_TBB_OPTIONS} COT_DESC_IN_DTB=1 USE_ROMLIB=1
 
-# PSA FWU support - Disable debug build for this option as its causing bl31 image overflow
-clean_build $fvp_common_flags ${ARM_TBB_OPTIONS} ARM_GPT_SUPPORT=1 PSA_FWU_SUPPORT=1 USE_ROMLIB=1 DEBUG=0
+# PSA FWU support
+clean_build $fvp_common_flags ${ARM_TBB_OPTIONS} ARM_GPT_SUPPORT=1 PSA_FWU_SUPPORT=1 USE_ROMLIB=1 FVP_TRUSTED_SRAM_SIZE=384
 
 # SME and HCX features
 clean_build $fvp_common_flags ENABLE_SME_FOR_NS=1 ENABLE_FEAT_HCX=1
@@ -206,8 +206,8 @@
 # RNG trap feature
 clean_build $fvp_common_flags ENABLE_FEAT_RNG=1 ENABLE_FEAT_RNG_TRAP=1
 
-# OPTEE_ALLOW_SMC_LOAD feature - Disable debug build for this option as its causing bl31 image overflow
-clean_build $fvp_common_flags ${ARM_TBB_OPTIONS} SPD=opteed OPTEE_ALLOW_SMC_LOAD=1 PLAT_XLAT_TABLES_DYNAMIC=1 DEBUG=0
+# OPTEE_ALLOW_SMC_LOAD feature
+clean_build $fvp_common_flags ${ARM_TBB_OPTIONS} SPD=opteed OPTEE_ALLOW_SMC_LOAD=1 PLAT_XLAT_TABLES_DYNAMIC=1 FVP_TRUSTED_SRAM_SIZE=384
 
 #
 # Juno platform