DragonFly BSD 6.4 released: hardware support for type-2 hypervisors