Итак, я безуспешно пытался обновить свой VirtualBox с версии 4.3.12-93733 на что-нибудь по-новее (сначала на 4.3.18-96516). Все мои попытки убивались об синий экран как существующих машин, так и вновь создаваемых.
Засунув лень поглубже, на момент актуальности версии 5.0.4-102546, пошёл искать ответы на просторах интернета. Официальный форум сообщил, что, скорее всего, наблюдается взаимная нелюбовь VirtualBox и Крипто-Про. Не собираясь отказываться ни от того, ни от другого, я нашёл ссылку на запись из другого форума — собственно Крипто-Про.
Процитирую код, предложенный в этом сообщении:
Windows Registry Editor Version 5.00
[HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Control\Session Manager\CProExclude\VirtualBox]
"FileName"="VirtualBox.exe"Сделав файл, с расширением .reg и содержащим вышеуказанные строки, запустив его и добавив соответствующую запись в реестр, сразу перезагрузил компьютер. Проблема оказалась решена. Спасибо автору!!!