mbed library sources for TON Board V1.2

Fork of mbed-dev by mbed official

mbed.h/shortlog@612c381a210f: not found in manifest