oopses - "irq:5 nobody cared" and drain_array

First oops happened when one of my colleagues was compiling some code on the machine. It shut it down. Wrote down some of the trace:

drain_array+0x7c/0xf0
reap_timer_fnc+0x75/0x1f0

reap_timer_fnc
run_timer_soft_irq
do_timer
__do_soft_irq
do_IRQ
common_interrupt
default_idle
cpu_idle
start_kernel
unknown_bootoption

The second one was during boot and starts off like this:

irq 5: nobody cared!

 [<c010634a>] __report_bad_irq+0x2a/0x90
 [<c010643c>] note_interrupt+0x6c/0xa0
 [<c0106711>] do_IRQ+0x121/0x130
 [<c01049f4>] common_interrupt+0x18/0x20
 [<c011d770>] __do_softirq+0x30/0x80
 [<c011d7e6>] do_softirq+0x26/0x30
 [<c01066ed>] do_IRQ+0xfd/0x130

I'm going to post the dmesg of the machine at:

http://dedasys.com/dmesg2.txt

More info available on request.

Thankyou for any suggestions,

David N. Welton
[email protected]