Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] WARNING: at /build/buildd-linux-2.6_3.1.8-2-i386-3fqT1n/linux-2.6-3.1.8/debian/build/source_i386_none/drivers/iommu/dmar.c:634 warn_invalid_dmar+0x57/0x67() Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] Hardware name: Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] Your BIOS is broken; DMAR reported at address feb00000 returns all ones! Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] BIOS vendor: Intel Corp.; Ver: DPP3510J.86A.0293.2007.1002.1519; Product Version: Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] Modules linked in: Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] Pid: 0, comm: swapper Not tainted 3.1.0-1-486 #1 Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] Call Trace: Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] [] ? warn_slowpath_common+0x68/0x79 Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] [] ? warn_invalid_dmar+0x57/0x67 Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] [] ? warn_slowpath_fmt_taint+0x2b/0x2f Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] [] ? warn_invalid_dmar+0x57/0x67 Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] [] ? check_zero_address+0xeb/0x120 Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] [] ? detect_intel_iommu+0xf/0x74 Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] [] ? pci_iommu_alloc+0x32/0x56 Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] [] ? mem_init+0x9/0x209 Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] [] ? start_kernel+0x17d/0x311 Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] [] ? loglevel+0x2b/0x2b Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] ---[ end trace a7919e7f17c0a725 ]--- Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] Disabling lock debugging due to kernel taint Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] Initializing HighMem for node 0 (000377fe:000cfc00) Mar 2 15:29:53 bonnyrigg kernel: [ 0.000000] Memory: 3360776k/3403776k available (2521k kernel code, 41536k reserved, 1329k data, 444k init, 2493460k highmem)