Fix copy-paste error in src/cpu/x86/Kconfig.