I forgot to say that I tried different kernels: 3.2, 3.4 and 3.7. The kernel panic bug (from this thread: http://ubuntuforums.org/showthread.php?p=12430893#post12430893):
Bug with 3.2, ffmpeg and one core deactivated: [ 7.250095] SP5100 TCO timer: mmio address 0xbafe00 already in use [ 23.216775] SP5100 TCO timer: mmio address 0xbafe00 already in use [ 21.184130] SP5100 TCO timer: mmio address 0xbafe00 already in use [ 1583.874892] [Hardware Error]: CPU 0: Machine Check Exception: 4 Bank 0: b600000000010015 [ 1583.876014] [Hardware Error]: TSC 252f65ae0c8 ADDR b671d000 [ 1583.876014] [Hardware Error]: PROCESSOR 2:500f10 TIME 1356285230 SOCKET 0 APIC 0 microcode 5000028 [ 1583.876014] [Hardware Error]: Run the above through 'mcelog --ascii' [ 1583.876014] [Hardware Error]: Machine check: Processor context corrupt [ 1583.876014] Kernel panic - not syncing: Fatal machine check on current CPU [ 1583.876014] Pid: 3234, comm: ffmpeg Tainted: G M O 3.2.0-35-generic #55-Ubuntu [ 1583.876014] Call Trace: [ 1583.876014] [<c1560f2c>] ? printk+0x2d/0x2f [ 1583.876014] [<c1560dfa>] panic+0x5c/0x161 [ 1583.876014] [<c1015a0f>] mce_panic.part.14+0x13f/0x170 [ 1583.876014] [<c1015a92>] mce_panic+0x52/0x90 [ 1583.876014] [<c1016526>] do_machine_check+0x356/0x4f0 [ 1583.876014] [<c10161d0>] ? mce_log+0x120/0x120 [ 1583.876014] [<c15769a7>] error_code+0x67/0x6c [ 24.773952] SP5100 TCO timer: mmio address 0xbafe00 already in use [ 24.118978] SP5100 TCO timer: mmio address 0xbafe00 already in use Bug with 3.7 [ 765.772789] i2c /dev entries driver [ 1327.785334] mce: [Hardware Error]: CPU 1: Machine Check Exception: 4 Bank 0: f600000000010015 [ 1327.789344] mce: [Hardware Error]: TSC 1f357ac28c4 ADDR b1be8000 [ 1327.793361] mce: [Hardware Error]: PROCESSOR 2:500f10 TIME 1356277176 SOCKET 0 APIC 1 microcode 5000026 [ 1327.797362] mce: [Hardware Error]: Run the above through 'mcelog --ascii' [ 1327.801339] mce: [Hardware Error]: Machine check: Invalid [ 1327.805255] Kernel panic - not syncing: Fatal machine check on current CPU -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1094904 Title: irq 16: nobody cared usb_hcd_irq To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1094904/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs