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