plat: tc0: Add cactus support

This patch adds tc0 platform support for cactus to execute at S-EL1

Change-Id: Iabac58de7c39e51968f0c5b578292e5a6111609a
Signed-off-by: Arunachalam Ganapathy <arunachalam.ganapathy@arm.com>
diff --git a/plat/arm/tc0/platform.mk b/plat/arm/tc0/platform.mk
index 05fa54c..faf0d19 100644
--- a/plat/arm/tc0/platform.mk
+++ b/plat/arm/tc0/platform.mk
@@ -17,7 +17,7 @@
 $(eval $(call add_define,NS_BL1U_DEFINES,TC0_MAX_PE_PER_CPU))
 $(eval $(call add_define,NS_BL2U_DEFINES,TC0_MAX_PE_PER_CPU))
 
-PLAT_INCLUDES	:=	-Iplat/arm/tc0/include/
+PLAT_INCLUDES	+=	-Iplat/arm/tc0/include/
 
 PLAT_SOURCES	:=	drivers/arm/gic/arm_gic_v2v3.c		\
 			drivers/arm/gic/gic_v2.c		\