I have installed the package “linux-source”, applied the patch, compiled and booted it. The patch alone does not appear to fix the issue. (“efibootmgr -o” still not working.)
Maybe I find time to try vanilla kernel 6.0.5 on the weekend. Regards Stephan
