Jul 22 20:32:09 risa kernel: [17259370.176000]  <c01499a4> __report_bad_irq+0x24/0x80  <c0149a9d> note_interrupt+0x9d/0x270
Jul 22 20:32:09 risa kernel: [17259370.176000]  <c01fccee> acpi_irq+0xb/0x14  <c0149323> handle_IRQ_event+0x33/0x60
Jul 22 20:32:09 risa kernel: [17259370.176000]  <c0149448> __do_IRQ+0xf8/0x110  <c0105c89> do_IRQ+0x19/0x30
Jul 22 20:32:09 risa kernel: [17259370.176000]  <c010408a> common_interrupt+0x1a/0x20  <c0102080> default_idle+0x0/0x60
Jul 22 20:32:09 risa kernel: [17259370.176000]  <c01020aa> default_idle+0x2a/0x60  <c0102122> cpu_idle+0x42/0xb0
Jul 22 20:32:09 risa kernel: [17259370.176000]  <c03f27a1> start_kernel+0x321/0x3a0  <c03f2210> unknown_bootoption+0x0/0x270