irq 3: nobody cared (try booting with the "irqpoll" option)
 <c0133982> __report_bad_irq+0x22/0x90  <c0133a98> note_interrupt+0x78/0xc0
 <c01334a9> __do_IRQ+0x99/0xb0  <c01048da> do_IRQ+0x1a/0x30
 <c010305a> common_interrupt+0x1a/0x20  <c02813fb> i8042_interrupt+0x1db/0x220
 <c01333d1> handle_IRQ_event+0x31/0x70  <c013345f> __do_IRQ+0x4f/0xb0
 <c01048da> do_IRQ+0x1a/0x30  <c010305a> common_interrupt+0x1a/0x20
 <c0102ac5> handle_signal+0xb5/0x140  <c0102bb9> do_signal+0x69/0x130
 <c01334a9> __do_IRQ+0x99/0xb0  <c010305a> common_interrupt+0x1a/0x20
 <c032484f> schedule+0x2ff/0x620  <c011c782> sys_setitimer+0x42/0x90
 <c0102cb7> do_notify_resume+0x37/0x40  <c0102e7e> work_notifysig+0x13/0x25
handlers:
[<dcc39900>] (sis900_interrupt+0x0/0xf0 [sis900])
Disabling IRQ #3