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

Samsung S3C24XX SoCs (deprecated, see help)

configname: CONFIG_ARCH_S3C24XX

Linux Kernel Configuration
└─>Samsung S3C24XX SoCs (deprecated, see help)
In linux kernel since version 3.1 (release Date: 2011-10-24)  
Samsung S3C2410, S3C2412, S3C2413, S3C2416, S3C2440, S3C2442, S3C2443
and S3C2450 SoCs based systems, such as the Simtec Electronics BAST
(<http://www.simtec.co.uk/products/EB110ITX/>), the IPAQ 1940 or the
Samsung SMDK2410 development board (and derivatives).

The platform is deprecated and scheduled for removal. Please reach to
the maintainers of the platform and linux-samsung-soc@vger.kernel.org if
you still use it.
Without such feedback, the platform will be removed after 2022.