CONFIG_ARCH_EFM32 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm

Energy Micro efm32

modulename: clk-efm32gg.ko

configname: CONFIG_ARCH_EFM32

Linux Kernel Configuration
└─>System Type
└─>Energy Micro efm32
In linux kernel since version 3.14 (release Date: 2014-03-30)  
Support for Energy Micro's (now Silicon Labs) efm32 Giant Gecko
processors.

source code: