# CONFIG_KERNEL_GZIP is not set
CONFIG_KERNEL_XZ=y
CONFIG_KEXEC=y
-CONFIG_KPROBES=y
CONFIG_KVM=m
# CONFIG_LDM_PARTITION is not set
# CONFIG_LIBNVDIMM is not set
# CONFIG_PREEMPT is not set
CONFIG_PREEMPT_VOLUNTARY=y
CONFIG_PRINT_QUOTA_WARNING=y
-CONFIG_PROBE_EVENTS=y
# CONFIG_PSTORE is not set
CONFIG_PTP_1588_CLOCK=m
# CONFIG_PWM is not set