1 Windows 10
2 MX Linux
3 Linux Mint
In my firmware I see boot entries for all 3, but one of them does not actually work, and that is #3, Linux Mint.
I can boot into Mint from the MX grub menu, but not from the (non-existent) Mint grub menu, which I used to have.

So how can I get it back? I tried running sudo update-grub from inside Mint, but to no avail.
Is there a way to do it without booting from a Mint flash drive? ATM I have only a MX flash drive.
