Adding RTX5/CMSIS-RTOS2 was done in #750 / #580. Now we need to switch `armcc` to it and remove the old RTX4/CMSIS-RTOS1