Issues detecting i8042 AUX port

[Peter Urbanec <vger.kernel.org.input@urbanec.net>]

I have come across an issue that appears to be either timing sensitive
or possibly a race condition when it comes to detecting i8042 AUX port.

The full story is at http://bugs.gentoo.org/show_bug.cgi?id=287019
including attachments that contain the results of dmesg output with
i8042.debug turned on.

In a nutshell, I can run the same kernel on the same hardware and on
some boots the AUX port will not be detected and on other boots it will
come up fine. So far the only suspicion I have is that the
initialisation of USB ports and/or SATA disks may cause some kind of
delay that interferes with the i8042 detection of the AUX port.

It was suggested that I try adding my machine's DMI information to the
noloop exception table. I do not believe that doing so makes much sense,
since this is an intermittent problem, not an outright inability to
raise the AUX IRQ.

Any ideas?