[PATCH] i386: vMI backend for paravirt-ops