fix vl.c compilation if CONFIG_KVM is not defined