cpu/x86/Kconfig: Mark 64bit support as stable
With SMM holding page tables itself, we can consider SMM support stable
and safe enough for general use.
Also update the respective documentation.
Signed-off-by: Arthur Heymans <arthur@aheymans.xyz>
Change-Id: Ifcf0a1a5097a2d7c064bb709ec0b09ebee13a47d
Reviewed-on: https://review.coreboot.org/c/coreboot/+/80338
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin L Roth <gaumless@gmail.com>
diff --git a/configs/config.foxconn_g41m b/configs/config.foxconn_g41m
index f5deea5..acb0768 100644
--- a/configs/config.foxconn_g41m
+++ b/configs/config.foxconn_g41m
@@ -1,3 +1,3 @@
CONFIG_VENDOR_FOXCONN=y
CONFIG_BOARD_FOXCONN_G41M=y
-CONFIG_USE_EXP_X86_64_SUPPORT=y
+CONFIG_USE_X86_64_SUPPORT=y