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

Support Wolfson Microelectronics 1190-EV1 PMIC card

configname: CONFIG_SMDK6410_WM1190_EV1

Linux Kernel Configuration
└─>Support Wolfson Microelectronics 1190-EV1 PMIC card
In linux kernel since version 2.6.31 (release Date: 2009-09-09)  
The Wolfson Microelectronics 1190-EV1 is a WM835x based PMIC
and audio daughtercard for the Samsung SMDK6410 reference
platform. Enabling this option will build support for this
module into the kernel. The presence of the module will be
detected at runtime so the resulting kernel can be used
with or without the 1190-EV1 fitted.