Hmmm, I found a possible answer here:
Interesting. So if I understand correctly, IRQ sharing was employed here, and PS/2 mice apparently use IRQ 1 on the 8086-variant of the Model 30, as opposed to IRQ 12 in later PS/2 models.
Ah yes, and these sources appear to confirm that...