diff --git a/target/linux/x86/config-5.19 b/target/linux/x86/config-5.19
index 46aaf8e70..dba1c7f21 100644
--- a/target/linux/x86/config-5.19
+++ b/target/linux/x86/config-5.19
@@ -1,5 +1,5 @@
 # CONFIG_60XX_WDT is not set
-CONFIG_64BIT=y
+# CONFIG_64BIT is not set
 # CONFIG_ACPI is not set
 # CONFIG_ACQUIRE_WDT is not set
 # CONFIG_ADVANTECH_WDT is not set
@@ -222,6 +222,7 @@ CONFIG_INSTRUCTION_DECODER=y
 # CONFIG_INTEL_POWERCLAMP is not set
 # CONFIG_INTEL_SCU_PCI is not set
 # CONFIG_INTEL_SPEED_SELECT_INTERFACE is not set
+# CONFIG_INTEL_TDX_GUEST is not set
 # CONFIG_INTEL_UNCORE_FREQ_CONTROL is not set
 # CONFIG_INTEL_VSEC is not set
 # CONFIG_IOSF_MBI is not set