Merge branch 'release/v8.1.0'

Author: valeros

Diff for: builder/main.py

@@ -96,6 +96,7 @@
 else:
     target_elf = env.BuildProgram()
     target_firm = env.ElfToBin(join("$BUILD_DIR", "${PROGNAME}"), target_elf)
+    env.Depends(target_firm, "checkprogsize")
 
 AlwaysBuild(env.Alias("nobuild", target_firm))
 target_buildprog = env.Alias("buildprog", target_firm, target_firm)

Diff for: platform.json

@@ -18,7 +18,7 @@
     "type": "git",
     "url": "https://github.com/platformio/platform-freescalekinetis.git"
   },
-  "version": "8.0.0",
+  "version": "8.1.0",
   "frameworks": {
     "mbed": {
       "package": "framework-mbed",
@@ -42,7 +42,7 @@
       "type": "framework",
       "optional": true,
       "owner": "platformio",
-      "version": "~6.60600.0",
+      "version": "~6.60900.0",
       "optionalVersions": [
         "~6.51506.0"
       ]

Diff for: platform.py

@@ -133,9 +133,10 @@ def _add_default_debug_tools(self, board):
 
     def configure_debug_options(self, initial_debug_options, ide_data):
         debug_options = copy.deepcopy(initial_debug_options)
-        server_executable = debug_options["server"]["executable"].lower()
         adapter_speed = initial_debug_options.get("speed")
         if adapter_speed:
+            server_options = debug_options.get("server") or {}
+            server_executable = server_options.get("executable", "").lower()
             if "jlink" in server_executable:
                 debug_options["server"]["arguments"].extend(
                     ["-speed", adapter_speed]