fix flags and path in F4/platform.txt

Author: martinayotte

STM32F4/platform.txt

@@ -32,7 +32,7 @@ compiler.define=-DARDUINO=
 # this can be overriden in boards.txt
 build.cpu_flags=
 build.hs_flag=
-build.common_flags=
+build.common_flags=-mthumb -D__STM32F4__
 build.extra_flags= {build.cpu_flags} {build.hs_flag} {build.common_flags}
 
 # These can be overridden in platform.local.txt
@@ -125,10 +125,11 @@ tools.serial_upload.upload.pattern="{path}/{cmd}" {serial.port.file} {upload.alt
 
 # STLINK/V2
 
-tools.stlink.cmd=stlink
+tools.stlink.cmd=stlink_upload
 tools.stlink.cmd.windows=stlink_upload.bat
-#tools.stlink.cmd.linux=
+#tools.stlink.cmd.linux=stlink_upload
 tools.stlink.path={runtime.hardware.path}/tools/win
+tools.stlink.path.linux={runtime.hardware.path}/tools/linux/
 tools.stlink.upload.params.verbose=-d
 tools.stlink.upload.params.quiet=
 tools.stlink.upload.pattern="{path}/{cmd}" {serial.port.file} {upload.altID} {upload.usbID} "{build.path}/{build.project_name}.bin"