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

CONFIG_CPU_S3C2442 (not configurable)

modulename: s3c2442.ko

and/or

clock.ko

configname: CONFIG_CPU_S3C2442

Linux Kernel Configuration
└─>CPU_S3C2442
In linux kernel since version 2.6.18 (release Date: 2006-09-19)  
Support for S3C2442 Samsung Mobile CPU based systems.

source code:
arch/arm/mach-s3c2442/s3c2442.c


is selected by
CONFIG_CPU_ARM920T

is depended by
CONFIG_SMDK2440_CPU2442