HAL: Rename platform reset function

Align with HAL design document:
 - Rename 'tfm_spm_hal_system_reset' to 'tfm_hal_system_reset'.
 - Create 'tfm_hal_platform.h' for HAL APIs.

Change-Id: Ic9cc92350aac41ee80a4e474425cdfe23795b69e
Signed-off-by: Summer Qin <summer.qin@arm.com>
diff --git a/secure_fw/spm/cmsis_psa/spm_ipc.c b/secure_fw/spm/cmsis_psa/spm_ipc.c
index 2fb51fc..4d3ace0 100644
--- a/secure_fw/spm/cmsis_psa/spm_ipc.c
+++ b/secure_fw/spm/cmsis_psa/spm_ipc.c
@@ -37,6 +37,7 @@
 
 #include "secure_fw/partitions/tfm_service_list.inc"
 #include "tfm_spm_db_ipc.inc"
+#include "tfm_hal_platform.h"
 
 /* Extern service variable */
 extern struct tfm_spm_service_t service[];
@@ -1482,7 +1483,7 @@
      * PSA FF recommends that the SPM causes the system to restart when a secure
      * partition panics.
      */
-    tfm_spm_hal_system_reset();
+    tfm_hal_system_reset();
 }
 
 /**
diff --git a/secure_fw/spm/common/runtime/utilities.c b/secure_fw/spm/common/runtime/utilities.c
index c601311..2aab6d9 100644
--- a/secure_fw/spm/common/runtime/utilities.c
+++ b/secure_fw/spm/common/runtime/utilities.c
@@ -6,7 +6,7 @@
  */
 #include <inttypes.h>
 #include "utilities.h"
-#include "tfm_spm_hal.h"
+#include "tfm_hal_platform.h"
 
 void tfm_core_panic(void)
 {
@@ -18,7 +18,7 @@
      * those error codes back to the calling task or to use its own
      * functionality for terminating an execution context.
      */
-    tfm_spm_hal_system_reset();
+    tfm_hal_system_reset();
 }
 
 bool tfm_is_one_bit_set(uint32_t n)