fix(synquacer): explicitly define RESET_TO_BL31

Even if RESET_TO_BL31 is the default setting in platform.mk,
define it explicitly so as to not rely on it.
platform.mk is going to change the default behavior to reset-to-BL2.

Signed-off-by: Jassi Brar <jaswinder.singh@linaro.org>
Change-Id: I780ef9981f38730a071b6203e2fdf78f2aa6efab
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index f2ccde3..b8efb71 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -637,11 +637,12 @@
 clean_build PLAT=uniphier $(common_flags) FIP_GZIP=1
 
 clean_build PLAT=synquacer $(common_flags) SPM_MM=1 \
-    EL3_EXCEPTION_HANDLING=1 ENABLE_SVE_FOR_NS=0 PRELOADED_BL33_BASE=0x0
+    RESET_TO_BL31=1 EL3_EXCEPTION_HANDLING=1 ENABLE_SVE_FOR_NS=0 \
+    PRELOADED_BL33_BASE=0x0
 
 # Support for SCP Message Interface protocol with platform specific drivers
 clean_build PLAT=synquacer $(common_flags) \
-    PRELOADED_BL33_BASE=0x0 SQ_USE_SCMI_DRIVER=1
+    RESET_TO_BL31=1 PRELOADED_BL33_BASE=0x0 SQ_USE_SCMI_DRIVER=1
 
 make PLAT=poplar $(common_flags) all