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

Support Wolfson Microelectronics 1192-EV1 PMIC card

configname: CONFIG_SMDK6410_WM1192_EV1

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