Rebuild mbed includes on mbed-os-6.4.0-241-g72b74ed32e

Author: facchinm

cores/arduino/mbed/rtos/source/TARGET_CORTEX/rtx5/Include/cmsis_os2.h renamed to cores/arduino/mbed/cmsis/CMSIS_5/CMSIS/RTOS2/Include/cmsis_os2.h

@@ -1,5 +1,6 @@
 /* mbed Microcontroller Library
  * Copyright (c) 2018 ARM Limited
+ * SPDX-License-Identifier: Apache-2.0
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.

cores/arduino/mbed/rtos/source/TARGET_CORTEX/rtx5/Include/os_tick.h renamed to cores/arduino/mbed/cmsis/CMSIS_5/CMSIS/RTOS2/Include/os_tick.h

@@ -134,6 +134,8 @@ MBED_NORETURN void mbed_rtos_start(void);
  *
  * Preconditions:
  * - The RTOS has been started by a call to mbed_rtos_start
+ * - If the platform is supported by TF-M, initialization
+ *   has been done by a call to mbed_tfm_init
  */
 void mbed_toolchain_init(void);
 
@@ -160,7 +162,6 @@ void mbed_sdk_init(void);
  *
  * Preconditions:
  * - The RTOS has been started by a call to mbed_rtos_start
- * - The toolchain has been initialized by a call to mbed_toolchain_init
  */
 void mbed_tfm_init(void);