handle DPMI interrupts in int.c, the same way all other interrupts
are handled.