Nope, my /boot/loader.conf looks like: aesni_load="YES"
Try taking that out and see what happens. If the system boots fine without it, then you may need to upgrade your host to r274407, which fixes the issue with boot-time loading of 32-bit kernel modules.
later, Peter. _______________________________________________ firstname.lastname@example.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-virtualization To unsubscribe, send any mail to "freebsd-virtualization-unsubscr...@freebsd.org"