Merge pull request #1718 from hfegran/efm32_freertos_port_fix Fixed wrong FreeRTOS port for EFM32GG12