MBED-DEV only fro Nucleo STM32F303K8T6

Fork of mbed-dev by mbed official

platform/mbed_alloc_wrappers.cpp/shortlog@156823d33999: not found in manifest