Windows 10, cambiare il nome dei sistemi in dual boot