Re: Different kernels for different worker VMs?