this allows ports to specify a freertos port outside the FreeRTOS-Kernel lib directory, which would otherwise not be possible Signed-off-by: Rafael Silva <rafaelsilva@ajtec.pt>
merge GG12 GG12 to simply OPT_MCU_EFM32GG
Signed-off-by: Rafael Silva <silvagracarafael@gmail.com>