If the diagnosis, that the problem is associated with sharing of IRQ 18
between SMBus controller and XHCI controller, and with incorrect
handling of shared interrupt by i2c-smbus.c driver is true,
then it could also explain the bug:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=623004