ext: hal: Add MSP432P4XX SDK Kconfig/Build support

This patch adds Kconfig/build support to MSP432P4XX
SDK. MSP432P4XX microcontrollers have driverlib flashed
onto the ROM, which will be used by default.

Signed-off-by: Manivannan Sadhasivam <manivannan.sadhasivam@linaro.org>
Signed-off-by: Kumar Gala <kumar.gala@linaro.org>
diff --git a/ext/hal/ti/simplelink/Kconfig b/ext/hal/ti/simplelink/Kconfig
index 362b9aa..f01c23a 100644
--- a/ext/hal/ti/simplelink/Kconfig
+++ b/ext/hal/ti/simplelink/Kconfig
@@ -15,3 +15,9 @@
 	select ERRNO
 	help
 	Build the SimpleLink host driver
+
+# Kconfig - MSP432 SDK HAL configuration
+
+config HAS_MSP432P4XXSDK
+        bool
+        select HAS_CMSIS