Second reboot brought it back. Of course the firmware has "helpfully" removed all the "invalid" boot entries, so I still don't have a system that starts...