Update RPM configs

[kernel-configs.git] / 4.19 / rpm / x86-64

diff --git a/4.19/rpm/x86-64 b/4.19/rpm/x86-64
index 30d4fdbcaaa34bdfd7ee2468702c974c9bf95e1a..0a5fb25b9bee3ac68a753e4f89d47173e6ce5923 100644 (file)
--- a/4.19/rpm/x86-64
+++ b/4.19/rpm/x86-64
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86_64 4.19.246-gnu1 Kernel Configuration
+# Linux/x86_64 4.19.250-gnu1 Kernel Configuration
 #
 
 #
@@ -3844,6 +3844,7 @@ CONFIG_DEVPORT=y
 CONFIG_XILLYBUS=m
 CONFIG_XILLYBUS_PCIE=m
 CONFIG_RANDOM_TRUST_CPU=y
+CONFIG_RANDOM_TRUST_BOOTLOADER=y
 
 #
 # I2C support