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

CONFIG_CPU_S3C2440 (not configurable)

modulename: s3c2440-irq.ko

and/or

s3c2440.ko

and/or

s3c2440-clock.ko

and/or

s3c2410-gpio.ko

configname: CONFIG_CPU_S3C2440

Linux Kernel Configuration
└─>CPU_S3C2440
In linux kernel since version 2.6.12  
Support for S3C2440 Samsung Mobile CPU based systems.

source code:
/arch/arm/mach-s3c2410/