Comment update to virtual micro-kernels.