Matthew Dillon has added a Makefile in /usr/src/test/vkernel that automates vkernel setup.  You can create a virtual system in one step.  ‘make help’ in that directory to see all the options.