Public fork of mbed-src to add generic stm32f030k6 target

Fork of mbed-src by mbed official

api/InterruptManager.h/shortlog@8276e3a4886f: not found in manifest