ARM: S3C: Add missing selection of S3C_DEV_NAND in machine Kconfigs.