Merge pull request #4101 from adamgreen/fixDisableDebugToSupportMoreInterfaceFirmwareRevs

Modify semihost_disabledebug() to support more interface FW revs

Author: sg-

platform/mbed_semihost_api.c

@@ -152,10 +152,11 @@ int semihost_connected(void) {
 #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