Comment 130 for bug 1949394

(In reply to Srihari Vijayaraghavan from comment #126)
>
> Is this risk worth taking? :-)

Well, I am probably paranoid in these things a bit and careful more than is necessary.

Also worth noting:
" 64h write 8042 command register. Writing this port sets Bit 3
      of the status register to 1 and the byte is treated
      as a controller command. Devices attached to the
      8042 should be disabled before issuing commands that
      return data since data in the output register will
      be overwritten."

The above patch tries to reset the mouse very early, before the keyboard is enabled.