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: ...