It was there, when I installed Deepin to a new laptop. But, after upgrading an Ubuntu install, the Deepin EFI simply doesn't appear in the EFI boot order. The /boot/efi/EFI/deepin is there, and it has all the needed files in it (fbx64.efi, grub.cfg, grubx64.efi, mmx64.efi, shimx64.efi) The grub.cfg file directs correctly to the partition (UUID is good, gpt is good too). When booting, I press F10 to get to the boot loader list, it has Ubuntu, Neon and Microsoft and so on, but deepin is not there. How to get it back?