> It sounds like your entry in your UEFI boot manager was erased. Did > you perform a UEFI update or clear it? > > To fix it in the future run "efibootmgr -c" to reinsert the entry. Aaaah. Thanks for pointing me at efibootmgr. -benjamin