Fork of mbed-dev build 137, last build before FAT file system appears to be broken. Also reduced HSE timeout time in STM4XX HAL

Fork of mbed-dev by mbed official

Revision:
162:e13f6fdb2ac4
Parent:
160:d5399cc887bb
--- a/platform/mbed_semihost_api.c	Thu Mar 30 13:45:57 2017 +0100
+++ b/platform/mbed_semihost_api.c	Wed Apr 12 16:21:43 2017 +0100
@@ -152,10 +152,11 @@
 #endif
 
 int semihost_disabledebug(void) {
+    uint32_t args[1];
 #if !(DEVICE_DEBUG_AWARENESS)
     is_debugger_attached = 0;
 #endif
-    return __semihost(USR_DISABLEDEBUG, NULL);
+    return __semihost(USR_DISABLEDEBUG, &args);
 }
 
 #endif