Apologies if this is in the wrong section but seemed like the best place to ask!
Yesterday I unsuccessfully tried to install Linux Mint 18.1 and then 17.3 alongside Windows 10, both attempts failing for different reasons (the former because it couldn't detect my SSD, the latter because it couldn't detect Windows 10!).
I initially had some success with 18.1 but it messed up my audio drives in Windows so I had to removed it (deleting partitions).
Oddly I have noticed now that the Boot Sequence in my UEFI (F2) changed. Before, it gave me the Windows Boot Manager as the first option, and a second option called "WINDOWSINS"; but both were now missing and replaced with the SSD drive (which still booted into Windows fine).
I managed to Restore Windows Boot Manager by goign through the 'add boot option' (it was kept in EFI file), but I can not find WINDOWSINS anywhere.
What is WINDOWSINS and how do I restore it?!