If semihosting is disabled in device.h, mbed_interface_disconnect() will be undefined.