I have now compiled and booted vanilla kernel 6.0.5. “efibootmgr -o” is not working. I double-checked that with kernel 5.19.11 (Debian), it is working fine. Regards