The vkernel's maximum number of CPUs is now 16.