Você pode usar o bcdedit para definir a variável "bootnext" do UEFI.
O parâmetro é um GUID do carregador que deve ser usado após a reinicialização. O carregador pode ser qualquer carregador do Windows (ou um carregador do Linux) - no seu caso, você deseja alternar dois carregadores do Windows (um com e outro sem o Hyper-V).
Veja a breve descrição das variáveis da UEFI NVRAM acessíveis a partir do Windows 10/8/7 .