Bug#703637: linux-image-3.2.0-4-amd64: Kernel oops

[Bastian Blank <waldi@debian.org>]

On Tue, Apr 02, 2013 at 05:37:44PM -0700, Wagner Bruna wrote:
> ** Tainted: O (4096)
>  * Out-of-tree module has been loaded.

> [    0.000000] ACPI Warning: 32/64 FACS address mismatch in FADT - two FACS tables! (20110623/tbfadt-365)
> [    0.000000] ACPI Warning: 32/64X FACS address mismatch in FADT - 0xCAFE4E40/0x00000000CAFE4D40, using 32 (20110623/tbfadt-489)

Do you have the lastest firmware installed?

> [    6.514553] vboxdrv: Found 4 processor cores.
> [    6.514859] vboxdrv: fAsync=0 offMin=0x1fc offMax=0x1efb9
> [    6.514936] vboxdrv: TSC mode is 'synchronous', kernel timer mode is 'normal'.
> [    6.514939] vboxdrv: Successfully loaded version 4.1.18_Debian (interface 0x00190000).

Please remove the vbox modules before trying again. They are known to do
nasty stuff to core hardware. We don't support systems in this state.

Bastian

-- 
You canna change the laws of physics, Captain; I've got to have thirty minutes!