kernel-5.20.0-0.rc0.20220808git1ab9250751ee.8

* Sat Aug 06 2022 Fedora Kernel Team <kernel-team@fedoraproject.org> [5.20.0-0.rc0.6614a3c3164a.5]
- redhat/configs: Sync up Retbleed configs with centos-stream (Waiman Long)
Resolves:

Signed-off-by: Justin M. Forbes <jforbes@fedoraproject.org>

1 files changed, 58 insertions, 6 deletions

diff --git a/kernel-s390x-debug-rhel.config b/kernel-s390x-debug-rhel.config
index 8c7699267..19bd5266e 100644
--- a/kernel-s390x-debug-rhel.config
+++ b/kernel-s390x-debug-rhel.config
@@ -196,6 +196,7 @@ CONFIG_AMD_PMC=m
 # CONFIG_AMDTEE is not set
 # CONFIG_AMIGA_PARTITION is not set
 # CONFIG_AMT is not set
+# CONFIG_ANDROID_BINDER_IPC is not set
 # CONFIG_ANDROID is not set
 # CONFIG_ANON_VMA_NAME is not set
 # CONFIG_APDS9300 is not set
@@ -258,6 +259,7 @@ CONFIG_ARM_SCMI_TRANSPORT_SMC=y
 # CONFIG_ARM_SCMI_TRANSPORT_VIRTIO is not set
 CONFIG_ARM_SMCCC_SOC_ID=y
 # CONFIG_ARM_SMMU_LEGACY_DT_BINDINGS is not set
+# CONFIG_ARM_SMMU_QCOM_DEBUG is not set
 # CONFIG_AS3935 is not set
 # CONFIG_AS73211 is not set
 CONFIG_ASN1=y
@@ -582,6 +584,7 @@ CONFIG_CACHEFILES=m
 CONFIG_CAN_8DEV_USB=m
 CONFIG_CAN_BCM=m
 CONFIG_CAN_CALC_BITTIMING=y
+# CONFIG_CAN_CAN327 is not set
 # CONFIG_CAN_CC770 is not set
 # CONFIG_CAN_C_CAN is not set
 # CONFIG_CAN_CTUCANFD_PCI is not set
@@ -590,6 +593,7 @@ CONFIG_CAN_DEBUG_DEVICES=y
 CONFIG_CAN_DEV=m
 CONFIG_CAN_EMS_USB=m
 CONFIG_CAN_ESD_USB2=m
+# CONFIG_CAN_ESD_USB is not set
 # CONFIG_CAN_ETAS_ES58X is not set
 # CONFIG_CAN_FLEXCAN is not set
 # CONFIG_CAN_GRCAN is not set
@@ -610,6 +614,7 @@ CONFIG_CAN_M_CAN_PCI=m
 CONFIG_CAN_MCP251XFD=m
 # CONFIG_CAN_MCP251XFD_SANITY is not set
 CONFIG_CAN_MCP251X=m
+CONFIG_CAN_NETLINK=y
 CONFIG_CAN_PEAK_PCIEFD=m
 CONFIG_CAN_PEAK_USB=m
 CONFIG_CAN_RAW=m
@@ -655,6 +660,7 @@ CONFIG_CGROUP_BPF=y
 CONFIG_CGROUP_CPUACCT=y
 CONFIG_CGROUP_DEBUG=y
 CONFIG_CGROUP_DEVICE=y
+# CONFIG_CGROUP_FAVOR_DYNMODS is not set
 CONFIG_CGROUP_FREEZER=y
 CONFIG_CGROUP_HUGETLB=y
 CONFIG_CGROUP_MISC=y
@@ -810,8 +816,6 @@ CONFIG_CPU_FREQ_GOV_USERSPACE=y
 CONFIG_CPU_FREQ_STAT=y
 CONFIG_CPU_FREQ=y
 # CONFIG_CPU_HOTPLUG_STATE_CONTROL is not set
-CONFIG_CPU_IBPB_ENTRY=y
-CONFIG_CPU_IBRS_ENTRY=y
 # CONFIG_CPU_IDLE_GOV_HALTPOLL is not set
 # CONFIG_CPU_IDLE_GOV_LADDER is not set
 # CONFIG_CPU_IDLE_GOV_TEO is not set
@@ -820,7 +824,6 @@ CONFIG_CPU_LITTLE_ENDIAN=y
 CONFIG_CPUMASK_OFFSTACK=y
 CONFIG_CPUSETS=y
 # CONFIG_CPU_THERMAL is not set
-CONFIG_CPU_UNRET_ENTRY=y
 # CONFIG_CRAMFS is not set
 # CONFIG_CRAMFS_MTD is not set
 CONFIG_CRASH_DUMP=y
@@ -1010,6 +1013,7 @@ CONFIG_CXL_PMEM=m
 # CONFIG_DA280 is not set
 # CONFIG_DA311 is not set
 CONFIG_DAMON_DBGFS=y
+# CONFIG_DAMON_LRU_SORT is not set
 CONFIG_DAMON_PADDR=y
 CONFIG_DAMON_RECLAIM=y
 CONFIG_DAMON_SYSFS=y
@@ -1251,12 +1255,14 @@ CONFIG_DRM_I915_CAPTURE_ERROR=y
 CONFIG_DRM_I915_COMPRESS_ERROR=y
 CONFIG_DRM_I915=m
 CONFIG_DRM_I915_USERPTR=y
+# CONFIG_DRM_IMX_LCDIF is not set
 # CONFIG_DRM_ITE_IT6505 is not set
 # CONFIG_DRM_ITE_IT66121 is not set
 # CONFIG_DRM_KOMEDA is not set
 # CONFIG_DRM_LEGACY is not set
 # CONFIG_DRM_LIMA is not set
 # CONFIG_DRM_LOAD_EDID_FIRMWARE is not set
+# CONFIG_DRM_LOGICVC is not set
 # CONFIG_DRM_LONTIUM_LT8912B is not set
 # CONFIG_DRM_LONTIUM_LT9211 is not set
 # CONFIG_DRM_LONTIUM_LT9611 is not set
@@ -1315,6 +1321,7 @@ CONFIG_DRM_RADEON_USERPTR=y
 # CONFIG_DRM_SIMPLEDRM is not set
 # CONFIG_DRM_SSD130X is not set
 # CONFIG_DRM_THINE_THC63LVD1024 is not set
+# CONFIG_DRM_TI_DLPC3433 is not set
 # CONFIG_DRM_TIDSS is not set
 # CONFIG_DRM_TI_SN65DSI83 is not set
 # CONFIG_DRM_TI_SN65DSI86 is not set
@@ -1487,6 +1494,7 @@ CONFIG_ENCLOSURE_SERVICES=m
 CONFIG_ENCRYPTED_KEYS=y
 CONFIG_ENERGY_MODEL=y
 CONFIG_ENIC=m
+# CONFIG_ENVELOPE_DETECTOR is not set
 CONFIG_EPIC100=m
 CONFIG_EPOLL=y
 # CONFIG_EQUALIZER is not set
@@ -1950,6 +1958,7 @@ CONFIG_HOTPLUG_PCI=y
 # CONFIG_HP206C is not set
 # CONFIG_HPFS_FS is not set
 # CONFIG_HP_ILO is not set
+# CONFIG_HSA_AMD_P2P is not set
 CONFIG_HSA_AMD_SVM=y
 CONFIG_HSA_AMD=y
 # CONFIG_HSI is not set
@@ -2026,6 +2035,7 @@ CONFIG_I2C_GPIO_FAULT_INJECTOR=y
 # CONFIG_I2C_GPIO is not set
 # CONFIG_I2C_HELPER_AUTO is not set
 CONFIG_I2C_HID_ACPI=m
+# CONFIG_I2C_HID_OF_ELAN is not set
 # CONFIG_I2C_HID_OF_GOODIX is not set
 # CONFIG_I2C_HID_OF is not set
 # CONFIG_I2C_HISI is not set
@@ -2114,6 +2124,7 @@ CONFIG_IGC=m
 # CONFIG_IIO_CONFIGFS is not set
 CONFIG_IIO_CONSUMERS_PER_TRIGGER=2
 # CONFIG_IIO_CROS_EC_ACCEL_LEGACY is not set
+CONFIG_IIO_FORMAT_KUNIT_TEST=m
 # CONFIG_IIO_INTERRUPT_TRIGGER is not set
 # CONFIG_IIO is not set
 # CONFIG_IIO_MUX is not set
@@ -2179,6 +2190,7 @@ CONFIG_INFINIBAND_ADDR_TRANS=y
 # CONFIG_INFINIBAND_BNXT_RE is not set
 CONFIG_INFINIBAND_CXGB4=m
 CONFIG_INFINIBAND_EFA=m
+# CONFIG_INFINIBAND_ERDMA is not set
 # CONFIG_INFINIBAND_HNS is not set
 CONFIG_INFINIBAND_IPOIB_CM=y
 # CONFIG_INFINIBAND_IPOIB_DEBUG_DATA is not set
@@ -2635,6 +2647,8 @@ CONFIG_KUNIT_EXAMPLE_TEST=m
 CONFIG_KUNIT=m
 CONFIG_KUNIT_TEST=m
 CONFIG_KVM_AMD_SEV=y
+# CONFIG_KVM_BOOK3S_HV_P8_TIMING is not set
+# CONFIG_KVM_BOOK3S_HV_P9_TIMING is not set
 CONFIG_KVM=m
 # CONFIG_KVM_S390_UCONTROL is not set
 # CONFIG_KVM_XEN is not set
@@ -3593,6 +3607,7 @@ CONFIG_NET_VENDOR_SOLARFLARE=y
 # CONFIG_NET_VENDOR_TI is not set
 # CONFIG_NET_VENDOR_VERTEXCOM is not set
 # CONFIG_NET_VENDOR_VIA is not set
+CONFIG_NET_VENDOR_WANGXUN=y
 # CONFIG_NET_VENDOR_WIZNET is not set
 # CONFIG_NET_VENDOR_XILINX is not set
 CONFIG_NET_VRF=m
@@ -3633,6 +3648,7 @@ CONFIG_NF_FLOW_TABLE_INET=m
 CONFIG_NF_FLOW_TABLE_IPV4=m
 CONFIG_NF_FLOW_TABLE_IPV6=m
 CONFIG_NF_FLOW_TABLE=m
+CONFIG_NF_FLOW_TABLE_PROCFS=y
 # CONFIG_NFIT_SECURITY_DEBUG is not set
 CONFIG_NF_LOG_ARP=m
 CONFIG_NF_LOG_IPV4=m
@@ -3813,6 +3829,7 @@ CONFIG_NVDIMM_DAX=y
 CONFIG_NVDIMM_PFN=y
 # CONFIG_NVHE_EL2_DEBUG is not set
 # CONFIG_NVIDIA_WMI_EC_BACKLIGHT is not set
+# CONFIG_NVME_AUTH is not set
 CONFIG_NVME_FC=m
 # CONFIG_NVME_HWMON is not set
 # CONFIG_NVMEM_REBOOT_MODE is not set
@@ -3821,6 +3838,7 @@ CONFIG_NVMEM_SYSFS=y
 CONFIG_NVME_MULTIPATH=y
 CONFIG_NVMEM=y
 CONFIG_NVME_RDMA=m
+# CONFIG_NVME_TARGET_AUTH is not set
 CONFIG_NVME_TARGET_FCLOOP=m
 CONFIG_NVME_TARGET_FC=m
 CONFIG_NVME_TARGET_LOOP=m
@@ -4074,6 +4092,7 @@ CONFIG_PM_DEBUG=y
 CONFIG_PM_STD_PARTITION="/dev/jokes"
 CONFIG_PM_TEST_SUSPEND=y
 CONFIG_PM_TRACE_RTC=y
+# CONFIG_PM_USERSPACE_AUTOSLEEP is not set
 # CONFIG_PMU_SYSFS is not set
 # CONFIG_PM_WAKELOCKS is not set
 CONFIG_PM=y
@@ -4147,6 +4166,8 @@ CONFIG_PROVE_LOCKING=y
 CONFIG_PROVE_NVDIMM_LOCKING=y
 # CONFIG_PROVE_RAW_LOCK_NESTING is not set
 CONFIG_PSAMPLE=m
+# CONFIG_PSERIES_PLPKS is not set
+# CONFIG_PSERIES_WDT is not set
 CONFIG_PSI_DEFAULT_DISABLED=y
 CONFIG_PSI=y
 # CONFIG_PSTORE_842_COMPRESS is not set
@@ -4362,8 +4383,8 @@ CONFIG_RENESAS_PHY=m
 # CONFIG_RESET_INTEL_GW is not set
 # CONFIG_RESET_QCOM_PDC is not set
 # CONFIG_RESET_TI_SYSCON is not set
+# CONFIG_RESET_TI_TPS380X is not set
 # CONFIG_RESOURCE_KUNIT_TEST is not set
-CONFIG_RETHUNK=y
 CONFIG_RETPOLINE=y
 # CONFIG_RFD77402 is not set
 # CONFIG_RFD_FTL is not set
@@ -4543,6 +4564,7 @@ CONFIG_RTW89_DEBUGFS=y
 CONFIG_RTW89_DEBUGMSG=y
 CONFIG_RTW89=m
 CONFIG_RUNTIME_TESTING_MENU=y
+# CONFIG_RV is not set
 CONFIG_RXKAD=y
 CONFIG_S390_AP_IOMMU=y
 CONFIG_S390_CCW_IOMMU=y
@@ -4725,6 +4747,7 @@ CONFIG_SCTP_COOKIE_HMAC_SHA1=y
 # CONFIG_SCTP_DEFAULT_COOKIE_HMAC_MD5 is not set
 # CONFIG_SCTP_DEFAULT_COOKIE_HMAC_NONE is not set
 CONFIG_SCTP_DEFAULT_COOKIE_HMAC_SHA1=y
+# CONFIG_SD_ADC_MODULATOR is not set
 # CONFIG_SDIO_UART is not set
 # CONFIG_SDMA_VERBOSITY is not set
 # CONFIG_SDX_GCC_55 is not set
@@ -5059,6 +5082,7 @@ CONFIG_SFC_MCDI_LOGGING=y
 CONFIG_SGETMASK_SYSCALL=y
 # CONFIG_SGI_PARTITION is not set
 # CONFIG_SHADOW_CALL_STACK is not set
+# CONFIG_SHRINKER_DEBUG is not set
 CONFIG_SHUFFLE_PAGE_ALLOCATOR=y
 # CONFIG_SI1133 is not set
 # CONFIG_SI1145 is not set
@@ -5131,6 +5155,8 @@ CONFIG_SND_CS46XX=m
 CONFIG_SND_CS46XX_NEW_DSP=y
 # CONFIG_SND_CS5530 is not set
 # CONFIG_SND_CS5535AUDIO is not set
+# CONFIG_SND_CTL_DEBUG is not set
+# CONFIG_SND_CTL_INPUT_VALIDATION is not set
 CONFIG_SND_CTL_VALIDATION=y
 CONFIG_SND_CTXFI=m
 CONFIG_SND_DARLA20=m
@@ -5292,6 +5318,7 @@ CONFIG_SND_SEQUENCER=m
 # CONFIG_SND_SOC_AMD_CZ_RT5645_MACH is not set
 # CONFIG_SND_SOC_AMD_RENOIR is not set
 # CONFIG_SND_SOC_AMD_RENOIR_MACH is not set
+# CONFIG_SND_SOC_AMD_RPL_ACP6x is not set
 # CONFIG_SND_SOC_AMD_RV_RT5682_MACH is not set
 # CONFIG_SND_SOC_AMD_VANGOGH_MACH is not set
 # CONFIG_SND_SOC_AMD_YC_MACH is not set
@@ -5367,6 +5394,18 @@ CONFIG_SND_SOC_CX2072X=m
 # CONFIG_SND_SOC_IMX_SPDIF is not set
 # CONFIG_SND_SOC_INNO_RK3036 is not set
 # CONFIG_SND_SOC_INTEL_AVS is not set
+# CONFIG_SND_SOC_INTEL_AVS_MACH_DA7219 is not set
+# CONFIG_SND_SOC_INTEL_AVS_MACH_DMIC is not set
+# CONFIG_SND_SOC_INTEL_AVS_MACH_HDAUDIO is not set
+# CONFIG_SND_SOC_INTEL_AVS_MACH_I2S_TEST is not set
+# CONFIG_SND_SOC_INTEL_AVS_MACH_MAX98357A is not set
+# CONFIG_SND_SOC_INTEL_AVS_MACH_MAX98373 is not set
+# CONFIG_SND_SOC_INTEL_AVS_MACH_NAU8825 is not set
+# CONFIG_SND_SOC_INTEL_AVS_MACH_RT274 is not set
+# CONFIG_SND_SOC_INTEL_AVS_MACH_RT286 is not set
+# CONFIG_SND_SOC_INTEL_AVS_MACH_RT298 is not set
+# CONFIG_SND_SOC_INTEL_AVS_MACH_RT5682 is not set
+# CONFIG_SND_SOC_INTEL_AVS_MACH_SSM4567 is not set
 # CONFIG_SND_SOC_INTEL_BDW_RT5650_MACH is not set
 # CONFIG_SND_SOC_INTEL_BDW_RT5677_MACH is not set
 # CONFIG_SND_SOC_INTEL_BROADWELL_MACH is not set
@@ -5533,6 +5572,7 @@ CONFIG_SND_SOC_SOF_HDA_PROBES=m
 # CONFIG_SND_SOC_SOF_INTEL_TOPLEVEL is not set
 # CONFIG_SND_SOC_SOF_JASPERLAKE is not set
 # CONFIG_SND_SOC_SOF_MERRIFIELD is not set
+CONFIG_SND_SOC_SOF_METEORLAKE=m
 # CONFIG_SND_SOC_SOF_OF is not set
 CONFIG_SND_SOC_SOF_PCI=m
 # CONFIG_SND_SOC_SOF_TIGERLAKE is not set
@@ -5555,6 +5595,7 @@ CONFIG_SND_SOC_SOF_TOPLEVEL=y
 # CONFIG_SND_SOC_TAS2562 is not set
 # CONFIG_SND_SOC_TAS2764 is not set
 # CONFIG_SND_SOC_TAS2770 is not set
+# CONFIG_SND_SOC_TAS2780 is not set
 # CONFIG_SND_SOC_TAS5086 is not set
 # CONFIG_SND_SOC_TAS571X is not set
 # CONFIG_SND_SOC_TAS5720 is not set
@@ -5634,6 +5675,7 @@ CONFIG_SND_SOC_WM8804_I2C=m
 # CONFIG_SND_SOC_WM8978 is not set
 # CONFIG_SND_SOC_WM8985 is not set
 # CONFIG_SND_SOC_WSA881X is not set
+# CONFIG_SND_SOC_WSA883X is not set
 # CONFIG_SND_SOC_XILINX_AUDIO_FORMATTER is not set
 # CONFIG_SND_SOC_XILINX_I2S is not set
 # CONFIG_SND_SOC_XILINX_SPDIF is not set
@@ -5706,7 +5748,6 @@ CONFIG_SPEAKUP_SYNTH_LTLK=m
 CONFIG_SPEAKUP_SYNTH_SOFT=m
 CONFIG_SPEAKUP_SYNTH_SPKOUT=m
 CONFIG_SPEAKUP_SYNTH_TXPRT=m
-CONFIG_SPECULATION_MITIGATIONS=y
 # CONFIG_SPI_ALTERA_CORE is not set
 # CONFIG_SPI_ALTERA is not set
 CONFIG_SPI_AMD=y
@@ -5848,6 +5889,7 @@ CONFIG_TCG_CRB=y
 # CONFIG_TCG_TIS_I2C_ATMEL is not set
 CONFIG_TCG_TIS_I2C_CR50=m
 # CONFIG_TCG_TIS_I2C_INFINEON is not set
+# CONFIG_TCG_TIS_I2C is not set
 # CONFIG_TCG_TIS_I2C_NUVOTON is not set
 # CONFIG_TCG_TIS_SPI is not set
 # CONFIG_TCG_TIS_ST33ZP24_I2C is not set
@@ -5893,6 +5935,7 @@ CONFIG_TERANETICS_PHY=m
 # CONFIG_TEST_BLACKHOLE_DEV is not set
 CONFIG_TEST_BPF=m
 # CONFIG_TEST_CLOCKSOURCE_WATCHDOG is not set
+CONFIG_TEST_CPUMASK=m
 # CONFIG_TEST_DIV64 is not set
 # CONFIG_TEST_FIRMWARE is not set
 CONFIG_TEST_FPU=m
@@ -6087,6 +6130,7 @@ CONFIG_TOUCHSCREEN_WACOM_I2C=m
 # CONFIG_TQMX86_WDT is not set
 # CONFIG_TRACE_EVAL_MAP_FILE is not set
 # CONFIG_TRACE_EVENT_INJECT is not set
+# CONFIG_TRACE_MMIO_ACCESS is not set
 # CONFIG_TRACEPOINT_BENCHMARK is not set
 # CONFIG_TRACER_SNAPSHOT_PER_CPU_SWAP is not set
 CONFIG_TRACER_SNAPSHOT=y
@@ -6119,6 +6163,8 @@ CONFIG_TUN=m
 # CONFIG_TUN_VNET_CROSS_LE is not set
 # CONFIG_TWL4030_CORE is not set
 # CONFIG_TWL6040_CORE is not set
+# CONFIG_TXGBE is not set
+# CONFIG_TYPEC_ANX7411 is not set
 CONFIG_TYPEC_DP_ALTMODE=m
 CONFIG_TYPEC_FUSB302=m
 # CONFIG_TYPEC_HD3SS3220 is not set
@@ -6145,6 +6191,7 @@ CONFIG_UAPI_HEADER_TEST=y
 # CONFIG_UCLAMP_TASK is not set
 CONFIG_UCSI_ACPI=y
 # CONFIG_UCSI_CCG is not set
+# CONFIG_UCSI_STM32G0 is not set
 CONFIG_UDF_FS=m
 # CONFIG_UDMABUF is not set
 # CONFIG_UEVENT_HELPER is not set
@@ -6326,6 +6373,7 @@ CONFIG_USB_NET_ZAURUS=m
 CONFIG_USB_OHCI_HCD_PCI=y
 # CONFIG_USB_OHCI_HCD_PLATFORM is not set
 CONFIG_USB_OHCI_HCD=y
+# CONFIG_USB_ONBOARD_HUB is not set
 # CONFIG_USB_OTG is not set
 # CONFIG_USB_OTG_PRODUCTLIST is not set
 # CONFIG_USB_OXU210HP_HCD is not set
@@ -6463,6 +6511,7 @@ CONFIG_UV_SYSFS=m
 # CONFIG_VCNL3020 is not set
 # CONFIG_VCNL4000 is not set
 # CONFIG_VCNL4035 is not set
+# CONFIG_VCPU_STALL_DETECTOR is not set
 CONFIG_VDPA=m
 CONFIG_VDPA_SIM_BLOCK=m
 CONFIG_VDPA_SIM=m
@@ -6471,6 +6520,7 @@ CONFIG_VDPA_SIM_NET=m
 # CONFIG_VEML6030 is not set
 # CONFIG_VEML6070 is not set
 CONFIG_VETH=m
+# CONFIG_VF610_ADC is not set
 # CONFIG_VF610_DAC is not set
 CONFIG_VFAT_FS=m
 CONFIG_VFIO_AP=m
@@ -6481,6 +6531,7 @@ CONFIG_VFIO_MDEV=m
 # CONFIG_VFIO_NOIOMMU is not set
 # CONFIG_VFIO_PCI_IGD is not set
 CONFIG_VFIO_PCI=m
+CONFIG_VFIO_PCI_ZDEV_KVM=y
 CONFIG_VGA_ARB_MAX_GPUS=64
 CONFIG_VGA_ARB=y
 CONFIG_VGA_CONSOLE=y
@@ -6495,6 +6546,7 @@ CONFIG_VHOST_VSOCK=m
 # CONFIG_VIDEO_ADP1653 is not set
 # CONFIG_VIDEO_ADV_DEBUG is not set
 # CONFIG_VIDEO_AK7375 is not set
+# CONFIG_VIDEO_AR0521 is not set
 CONFIG_VIDEO_AU0828=m
 # CONFIG_VIDEO_AU0828_RC is not set
 CONFIG_VIDEO_AU0828_V4L2=y
@@ -6539,6 +6591,7 @@ CONFIG_VIDEO_HDPVR=m
 # CONFIG_VIDEO_HI556 is not set
 # CONFIG_VIDEO_HI846 is not set
 # CONFIG_VIDEO_HI847 is not set
+# CONFIG_VIDEO_IMX208 is not set
 # CONFIG_VIDEO_IMX214 is not set
 # CONFIG_VIDEO_IMX219 is not set
 # CONFIG_VIDEO_IMX258 is not set
@@ -6742,7 +6795,6 @@ CONFIG_WWAN=y
 # CONFIG_X25 is not set
 CONFIG_X86_AMD_PLATFORM_DEVICE=y
 CONFIG_X86_IOPL_IOPERM=y
-# CONFIG_X86_KERNEL_IBT is not set
 CONFIG_X86_PMEM_LEGACY_DEVICE=y
 CONFIG_X86_PMEM_LEGACY=m
 CONFIG_X86_SGX_KVM=y