Use gicv3 as plat interrupts module for the SPMC

Change-Id: Ic5774f2c27da0778cf6838a7aa96d6da9d9ed9ec
Signed-off-by: Olivier Deprez <olivier.deprez@arm.com>
diff --git a/BUILD.gn b/BUILD.gn
index 026caee..f79ee7e 100644
--- a/BUILD.gn
+++ b/BUILD.gn
@@ -69,6 +69,7 @@
   max_vms = 16
   toolchain_args = {
     plat_psci = "//src/arch/aarch64/plat/psci:spmc"
+    plat_interrupts = "//src/arch/aarch64/plat/interrupts:gicv3"
     secure_world = "1"
     pl011_base_address = "0x1c090000"
     hftest_ctrl = "//test/hftest:ctrl_uart"
@@ -166,6 +167,7 @@
   max_vms = 16
   toolchain_args = {
     plat_psci = "//src/arch/aarch64/plat/psci:spmc"
+    plat_interrupts = "//src/arch/aarch64/plat/interrupts:gicv3"
     secure_world = "1"
     pl011_base_address = "0x7ff80000"
   }