CONFIG_SOC_IMX25 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
CONFIG_SOC_IMX25 (not configurable)
modulename: clk-imx25.ko
configname: CONFIG_SOC_IMX25
Linux Kernel Configuration
└─>Freescale i.MX family
└─>SOC_IMX25