[PATCH] i386: vMI timer patches