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 the resulting kernel can be used
with or without the 1190-EV1 fitted.

selects
CONFIG_REGULATOR
CONFIG_REGULATOR_WM8350
CONFIG_SAMSUNG_GPIO_EXTRA64
CONFIG_MFD_WM8350_I2C
MFD_WM8350_CONFIG_MODE_0
MFD_WM8350_CONFIG_MODE_3
MFD_WM8352_CONFIG_MODE_0