diff --git a/kernel-riscv64-debug-fedora.config b/kernel-riscv64-debug-fedora.config
index 1bef343a5..efda20b76 100644
--- a/kernel-riscv64-debug-fedora.config
+++ b/kernel-riscv64-debug-fedora.config
@@ -2985,8 +2985,8 @@ CONFIG_LIBFCOE=m
 CONFIG_LINEAR_RANGES_TEST=m
 CONFIG_LIRC=y
 CONFIG_LIST_KUNIT_TEST=m
-CONFIG_LITEX_LITEETH=m
-# CONFIG_LITEX_SOC_CONTROLLER is not set
+CONFIG_LITEX_LITEETH=y
+CONFIG_LITEX_SOC_CONTROLLER=y
 CONFIG_LIVEPATCH=y
 # CONFIG_LKDTM is not set
 # CONFIG_LLC2 is not set
@@ -3398,6 +3398,7 @@ CONFIG_MMC_DW_PCI=m
 CONFIG_MMC_DW_PLTFM=m
 # CONFIG_MMC_GOLDFISH is not set
 CONFIG_MMC_HSQ=m
+CONFIG_MMC_LITEX=y
 # CONFIG_MMC_MTK is not set
 CONFIG_MMC_REALTEK_PCI=m
 CONFIG_MMC_REALTEK_USB=m
@@ -4564,7 +4565,7 @@ CONFIG_PROC_VMCORE=y
 CONFIG_PROFILING=y
 CONFIG_PROVE_CXL_LOCKING=y
 CONFIG_PROVE_LOCKING=y
-CONFIG_PROVE_NVDIMM_LOCKING=y
+# CONFIG_PROVE_NVDIMM_LOCKING is not set
 # CONFIG_PROVE_RAW_LOCK_NESTING is not set
 CONFIG_PSAMPLE=m
 # CONFIG_PSI_DEFAULT_DISABLED is not set
@@ -5467,6 +5468,8 @@ CONFIG_SERIAL_DEV_CTRL_TTYPORT=y
 CONFIG_SERIAL_JSM=m
 # CONFIG_SERIAL_KGDB_NMI is not set
 # CONFIG_SERIAL_LANTIQ is not set
+CONFIG_SERIAL_LITEUART_CONSOLE=y
+CONFIG_SERIAL_LITEUART=y
 # CONFIG_SERIAL_MAX3100 is not set
 # CONFIG_SERIAL_MAX310X is not set
 CONFIG_SERIAL_NONSTANDARD=y
diff --git a/kernel-riscv64-fedora.config b/kernel-riscv64-fedora.config
index a3eb502ae..1ac7f8e53 100644
--- a/kernel-riscv64-fedora.config
+++ b/kernel-riscv64-fedora.config
@@ -2966,8 +2966,8 @@ CONFIG_LIBFCOE=m
 CONFIG_LINEAR_RANGES_TEST=m
 CONFIG_LIRC=y
 CONFIG_LIST_KUNIT_TEST=m
-CONFIG_LITEX_LITEETH=m
-# CONFIG_LITEX_SOC_CONTROLLER is not set
+CONFIG_LITEX_LITEETH=y
+CONFIG_LITEX_SOC_CONTROLLER=y
 CONFIG_LIVEPATCH=y
 # CONFIG_LKDTM is not set
 # CONFIG_LLC2 is not set
@@ -3378,6 +3378,7 @@ CONFIG_MMC_DW_PCI=m
 CONFIG_MMC_DW_PLTFM=m
 # CONFIG_MMC_GOLDFISH is not set
 CONFIG_MMC_HSQ=m
+CONFIG_MMC_LITEX=y
 # CONFIG_MMC_MTK is not set
 CONFIG_MMC_REALTEK_PCI=m
 CONFIG_MMC_REALTEK_USB=m
@@ -4543,7 +4544,7 @@ CONFIG_PROC_VMCORE=y
 CONFIG_PROFILING=y
 CONFIG_PROVE_CXL_LOCKING=y
 # CONFIG_PROVE_LOCKING is not set
-CONFIG_PROVE_NVDIMM_LOCKING=y
+# CONFIG_PROVE_NVDIMM_LOCKING is not set
 # CONFIG_PROVE_RAW_LOCK_NESTING is not set
 CONFIG_PSAMPLE=m
 # CONFIG_PSI_DEFAULT_DISABLED is not set
@@ -5446,6 +5447,8 @@ CONFIG_SERIAL_DEV_CTRL_TTYPORT=y
 CONFIG_SERIAL_JSM=m
 # CONFIG_SERIAL_KGDB_NMI is not set
 # CONFIG_SERIAL_LANTIQ is not set
+CONFIG_SERIAL_LITEUART_CONSOLE=y
+CONFIG_SERIAL_LITEUART=y
 # CONFIG_SERIAL_MAX3100 is not set
 # CONFIG_SERIAL_MAX310X is not set
 CONFIG_SERIAL_NONSTANDARD=y