Update kernel configs

[kernel-configs.git] / 4.4 / x86-64

diff --git a/4.4/x86-64 b/4.4/x86-64
index 40ab34802b8c5e19f948bb7e45367256b9803770..e986d64b517e8ca1c3ef9c95666da59ee767423a 100644 (file)
--- a/4.4/x86-64
+++ b/4.4/x86-64
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86_64 4.4.198-gnu Kernel Configuration
+# Linux/x86_64 4.4.204-gnu Kernel Configuration
 #
 CONFIG_64BIT=y
 CONFIG_X86_64=y
@@ -560,6 +560,9 @@ CONFIG_ARCH_USES_PG_UNCACHED=y
 CONFIG_ARCH_RANDOM=y
 CONFIG_X86_SMAP=y
 CONFIG_X86_INTEL_MPX=y
+CONFIG_X86_INTEL_TSX_MODE_OFF=y
+# CONFIG_X86_INTEL_TSX_MODE_ON is not set
+# CONFIG_X86_INTEL_TSX_MODE_AUTO is not set
 CONFIG_EFI=y
 CONFIG_EFI_STUB=y
 CONFIG_EFI_MIXED=y