X86_PAT x86=y
X86_INTEL_MPX x86=y
X86_INTEL_MEMORY_PROTECTION_KEYS all=y
+X86_INTEL_TSX_MODE_OFF x86=y
+X86_INTEL_TSX_MODE_ON x86=n
+X86_INTEL_TSX_MODE_AUTO x86=n
EFI x86=y
EFI_STUB all=y
SECCOMP x86=y
BOOTPARAM_HOTPLUG_CPU0 all=n
DEBUG_HOTPLUG_CPU0 all=n
COMPAT_VDSO x86=n
-LEGACY_VSYSCALL_EMULATE all=y
+LEGACY_VSYSCALL_EMULATE all=n
+LEGACY_VSYSCALL_XONLY all=y
LEGACY_VSYSCALL_NONE all=n
CMDLINE_BOOL x86=n
#- file kernel/livepatch/Kconfig goes here