Enable TDX_GUEST_DRIVER

Change-Id: I2d6433b24bd7fc095c32f01d2ea91c2afd3edcf9
diff --git a/arch/x86/configs/lakitu_defconfig b/arch/x86/configs/lakitu_defconfig
index 9a6f775..dbc007d 100644
--- a/arch/x86/configs/lakitu_defconfig
+++ b/arch/x86/configs/lakitu_defconfig
@@ -363,6 +363,7 @@
 # CONFIG_JAILHOUSE_GUEST is not set
 # CONFIG_ACRN_GUEST is not set
 CONFIG_INTEL_TDX_GUEST=y
+CONFIG_TDX_GUEST_DRIVER=y
 # CONFIG_TDX_FUZZ is not set
 # CONFIG_INTEL_TDX_KVM_SDV is not set
 # CONFIG_INTEL_TDX_ICL_FIXES is not set