Раньше как-то не замечал вот этой опции:

boot_options1.JPG

которая позволяет изменить загрузочное устройство и перезагрузить хост:

boot_options2.jpg

Мелочь, а приятно.