mbed library sources for TON Board V1.2

Fork of mbed-dev by mbed official

drivers/Ticker.cpp/shortlog@d5399cc887bb: not found in manifest