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