Additional toolchains to the official builds for the KL25Z and LPC4088

Author: emilmont

workspace_tools/build_release.py

@@ -27,13 +27,13 @@
 
 
 OFFICIAL_MBED_LIBRARY_BUILD = (
-    ('KL25Z', ('ARM',)),
+    ('KL25Z', ('ARM', 'GCC_ARM')),
     ('LPC11U24', ('ARM', 'uARM')),
     ('LPC1768', ('ARM', 'GCC_ARM', 'GCC_CR', 'GCC_CS', 'IAR')),
     ('LPC2368', ('ARM',)),
     ('LPC812', ('uARM',)),
     ('LPC1347', ('ARM',)),
-    ('LPC4088', ('ARM',)),
+    ('LPC4088', ('ARM', 'GCC_ARM', 'GCC_CR')),
     ('LPC1114', ('uARM',)),
 )