I have a problem with the boot options on my system. I have two SSD drives, one with Windows 10 and the other with Arch Linux. Recently, I removed four previous Linux distributions from the system, but the boot options for those distributions are still visible and I can't delete them. Even after...