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
OPROFILE_EVENT_MULTIPLEX x86=y
OPTIMIZE_INLINING x86=n
OPTPROBES x86=y
-PAGE_TABLE_ISOLATION x86_64=y
+PAGE_TABLE_ISOLATION x86_64=y x86=y
PC104 all=y
PCIEASPM_DEFAULT all=y
PCIEASPM_PERFORMANCE all=n