Vkernel speedup

As part of the ongoing work to support a lot of CPUs, Matthew Dillon has made some changes that have the side effect of benefiting virtual kernels.  How much?  I don’t have a benchmark, yet.