x86: fix documentation typo in arch/x86/Kconfig