x86: Kconfig fix