x86: copy x86_64 specific Kconfig symbols to Kconfig.i386