Joe Talbott has added support for tying virtual CPUs (in virtual kernels, naturally) to real CPUs, so that a multiprocessor vkernel will actually use multiple processors.