Посмотрел в выходные VirtualBox. Приятная модульная архитектура, единственное что, нет нормального дерева snapshot-ов (или я не нашел).
В любом случае, делюсь с общественностью обновленным KDVMWare, поддерживающим VirtualBox (x86 и x64):
Homepage здесь: http://virtualkd.sysprogs.org/
Качать отсюда: http://virtualkd.sysprogs.org/download
VisualDDK будет корректно с ним работать и находить оба типа виртуальных машин (нужно будет скопировать новый kdclient.dll).
Собственно, вот.