Eu tentei instalar as duas últimas versões do Debian e do Ubuntu como máquinas virtuais, mas não pude usar nenhuma delas devido a um problema com meu Intel Pentium g4400. O fato é que o Debian dá uma tela de erro branca com algo como algo deu errado etc, enquanto o Ubuntu aparentemente carrega a GUI, mas tem vários bugs. Apenas o modo terminal funcionou corretamente.
Aqui estão duas capturas de tela do meu BIOS sobre a tecnologia Intel VT-x.
EDIT: Descobri que o problema é a versão atual do kernel. Eu instalei o OpenMandriva LX 3 que usa o kernel 4.6.5 e não tenho problemas. Para quem quiser experimentar este sistema operacional: a única coisa é que ele é um pouco personalizado (por exemplo, não consegui usar a versão oficial do VIM).
