Keil RTX RTOS package for EFM32