Merge pull request #1718 from hfegran/efm32_freertos_port_fix

Fixed wrong FreeRTOS port for EFM32GG12