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