On Jul 2, 2023, at 11:38 AM, Christian Zigotzky <chzigotzky@xxxxxxxxxxx> wrote: The end users have to fix their RDBs if they want to use the new patched kernels. But a normal user can’t edit the RDB manually. What can we do for the end users?
I would suggest writing a small bash script to do that. Adrian