Two recent changes in the way virtual kernels are constructed should make a speed difference.  The startup time is reduced (and more memory can be given to the vkernel), and the overall running speed should be quicker, too.