Hi,

The IRQ for the 82c693 USB function is not assigned correctly to an interrupt.
This is because it's the only PCI device which has it's IRQ line connected to
the 8259 interrupt controllers iso to the PYXIS. The following patch solves
this problem. 

Comments welcome,

Peter.