How big is the OpenBSD kernel and userland actually compared to a virtualization layer?