x86: mach-rdc321x Kconfig fix