Interface: Enable Platform service in IPC model

Enable Platform Secure service in IPC model

 - modify Cmake files to build the service for IPC model
 - create NS API source file
 - add IPC model implementation to secure API file
 - add services to Platform Secure partition's yaml file
 - declare IPC support for the Platform Secure partition in
   tfm_manifest_list.yaml
 - enable reset service /SPM request in IPC mode

Change-Id: I553b7c64bb90c65e6200c619b7c0b30881bf490f
Signed-off-by: Mate Toth-Pal <mate.toth-pal@arm.com>
diff --git a/secure_fw/spm/spm_db.h b/secure_fw/spm/spm_db.h
index 3c3aa95..c5869fc 100644
--- a/secure_fw/spm/spm_db.h
+++ b/secure_fw/spm/spm_db.h
@@ -68,10 +68,8 @@
 /* Macros to pick linker symbols and allow to form the partition data base */
 #define REGION(a, b, c) a##b##c
 #define REGION_NAME(a, b, c) REGION(a, b, c)
-#ifndef TFM_PSA_API
-#define REGION_DECLARE(a, b, c)
-#else
 #define REGION_DECLARE(a, b, c) extern uint32_t REGION_NAME(a, b, c)
+#ifdef TFM_PSA_API
 #define PART_REGION_ADDR(partition, region) \
     (uint32_t)&REGION_NAME(Image$$, partition, region)
 #endif