# CONFIG_ARCH_S3C24XX is not set