Naturally, the timer on my system has gone nuts again as a result of backing this change out. I'll edit my own vm86.c until there is a real fix.