[Bug 718] - DPMI handler not called in presence of int $0x31 code