Yesterday, kernel 6.0.8 was released with a number of EFI fixes. I have compiled the vanilla kernel and I am happy to confirm that it solves the issue. Regards