Comment 1 for bug 114415

Note: same machine had problem with older kernel versions, see oops here:

https://bugs.launchpad.net/ubuntu/+source/linux-source-2.6.17/+bug/77350

One more information, on boot I added the "irqpoll" option:
# cat /proc/cmdline
root=UUID=5750d70c-20ce-411a-a3dc-a3803710f96b ro quiet splash irqpoll

Without irqpoll got in dmesg the following:

[ 48.216519] irq 4: nobody cared (try booting with the "irqpoll" option)
[ 48.216563] [<c0143694>] __report_bad_irq+0x24/0x80
[ 48.216585] [<c01438f8>] note_interrupt+0x208/0x240
[ 48.216597] [<c0142c70>] handle_IRQ_event+0x30/0x60
[ 48.216607] [<c0144250>] handle_level_irq+0x90/0xc0
[ 48.216615] [<c0105680>] do_IRQ+0x40/0x80
[ 48.216624] [<c011c87e>] profile_tick+0x3e/0x80
[ 48.216640] [<c0104003>] common_interrupt+0x23/0x30
[ 48.216655] [<c011fca2>] __do_softirq+0x32/0xa0
[ 48.216667] [<c011fd55>] do_softirq+0x45/0x50
[ 48.216673] [<c0105685>] do_IRQ+0x45/0x80
[ 48.216683] [<c0104003>] common_interrupt+0x23/0x30
[ 48.216698] [<c0231ac2>] serial_out+0x32/0xd0
[ 48.216713] [<c023410a>] serial8250_startup+0x18a/0x4b0
[ 48.216726] [<c022fae8>] uart_startup+0x48/0x160
[ 48.216737] [<c023072f>] uart_open+0xbf/0x460
[ 48.216749] [<c0165423>] cdev_get+0x23/0x40
[ 48.216760] [<c021ec37>] tty_open+0x147/0x2d0
[ 48.216775] [<c01654bc>] chrdev_open+0x6c/0x120
[ 48.216784] [<c0165450>] chrdev_open+0x0/0x120
[ 48.216790] [<c01614d0>] __dentry_open+0xb0/0x1c0
[ 48.216806] [<c0161695>] nameidata_to_filp+0x35/0x40
[ 48.216815] [<c01616f0>] do_filp_open+0x50/0x60
[ 48.216843] [<c016174e>] do_sys_open+0x4e/0xf0
[ 48.216855] [<c016182c>] sys_open+0x1c/0x20
[ 48.216862] [<c0102fc0>] sysenter_past_esp+0x69/0xa9
[ 48.216882] =======================
[ 48.216885] handlers:
[ 48.216888] [<c02344c0>] (serial8250_interrupt+0x0/0xf0)
[ 48.216896] Disabling IRQ #4