> 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