x86: add X86_64 dependency to x86_64 specific symbols in Kconfig.x86_64