RT-Thread for stk3700 (EFM32GG)