[PATCH] paravirt: let users decide whether they want VMI