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

CONFIG_S3C2443_DMA (not configurable)

modulename: dma.ko

and/or

dma-s3c2443.ko

configname: CONFIG_S3C2443_DMA

Linux Kernel Configuration
└─>S3C2443_DMA
In linux kernel since version 2.6.21 (release Date: 2007-04-25)  
Internal config node for S3C2443 DMA support

source code:
arch/arm/mach-s3c2443/dma.c
depends
CONFIG_CPU_S3C2443 or CONFIG_ARCH_S3C24XX |
| CONFIG_CPU_S3C2416 or CONFIG_CPU_S3C2443