Keil MDK 5.27 -> Keil MDK 5.28a

Mbed OS 5.14 needs 5.28a - see
ARMmbed/mbed-os#11225

Author: kjbracey

docs/tools/tools_intro.md

@@ -24,7 +24,7 @@ Mbed OS 5 can be built with various toolchains. The currently supported versions
 - Arm Compiler 6.11 (default ARM toolchain).
   - A free version when it's used with Mbed OS is included with [Mbed Studio](https://os.mbed.com/studio/). For information on using this with Mbed CLI, please see the [After installation - configuring Mbed CLI page](../tools/after-installation-configuring-mbed-cli.html).
   - A paid version is available as [Arm Compiler 6.11 Professional](https://developer.arm.com/tools-and-software/embedded/arm-compiler/downloads/version-6).
-  - A paid version is also included in [Keil MDK 5.27](http://www2.keil.com/mdk5/).
+  - A paid version is also included in [Keil MDK 5.28a](http://www2.keil.com/mdk5/).
 - [Arm Compiler 5.06 update 6 (to be deprecated in the future)](https://developer.arm.com/tools-and-software/embedded/arm-compiler/arm-compiler-5/downloads).
 - [GNU Arm Embedded version 8 (8-2018-q4-major)](https://developer.arm.com/tools-and-software/open-source-software/developer-tools/gnu-toolchain/gnu-rm/downloads).
 - [IAR Embedded Workbench 8.32.1](https://iar.com/mbed).