Y'a un truc que je viens de penser.
Si son win 10 est en mode uefi et son win7 en mbr je pense que ça va être chiant à réparer.
Sinon je crois il peut tenter de démarrer en débranchant le disque win 10, là il boot sur la clé usb de win 7 et il tape fixboot je crois.
Enfin c'est peut être pas la commande exacte, il faut que tu cherches. Mais en gros en démarrant sur la clé usb de win7, y'a moyen de réparer le boot du disque win7
Comme ça après il pourra choisir le disque au démarrage, chaque disque aura ce qu'il faut pour booter indépendamment.
Par contre faire un dual boot avec un os uefi et un os en mbr, j'ai jamais réussi je crois
Et je crois que c'est justement ça le problème de ton ami