Da, može se koristiti ta varijanta F12 (ili koja već je na pojedinom Bios - u) za manualni odabir boot "uređaja".
Druga je stvar šta moderno smeće od UEFI - ja (OS prije OS - a) sam mijenja postavke pa lako moguće da sam premjesti na hdd sa W10 beep iako je prethodno bio postavljen na ssd sa W7.
Ako je to i ovdje slučaj onda ćeš morati napraviti kako je kolega gore naveo ...