I encountered the same issue with the hanging boot menu.
I found a fix for that (changing EFI/BOOT/stdmenu.cfg ) and documented that in the following bug report: ...
Type: Posts; User: domdorn
I encountered the same issue with the hanging boot menu.
I found a fix for that (changing EFI/BOOT/stdmenu.cfg ) and documented that in the following bug report: ...