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

i.MX6 UltraLite support

modulename: cpuidle-imx6sx.ko

and/or

mach-imx6ul.ko

configname: CONFIG_SOC_IMX6UL

Linux Kernel Configuration
└─>Freescale i.MX family
└─>i.MX6 UltraLite support
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This enables support for Freescale i.MX6 UltraLite processor.

source code:
arch/arm/mach-imx/cpuidle-imx6sx.c


is selected by
CONFIG_PINCTRL_IMX6UL