[RFC PATCH v2 28/56] x86: Fix up some Kconfig options