04/05/2011 10:24:40	Hardware name	HP ProBook 4310s
04/05/2011 10:24:40		Your BIOS is broken; DMAR reported at address 0!
04/05/2011 10:24:40	BIOS vendor	Hewlett-Packard; Ver: 68PHT Ver. F.0F; Product Version: F.0F
04/05/2011 10:24:40	Modules linked in	
04/05/2011 10:24:40	Pid	0, comm: swapper Not tainted 2.6.38-8-generic-pae #42-Ubuntu
04/05/2011 10:24:40	Call Trace	
04/05/2011 10:24:40		[<c1058ce2>] ? warn_slowpath_common+0x72/0xa0
04/05/2011 10:24:40		[<c12b1df8>] ? warn_invalid_dmar+0x98/0xb0
04/05/2011 10:24:40		[<c12b1df8>] ? warn_invalid_dmar+0x98/0xb0
04/05/2011 10:24:40		[<c1058d72>] ? warn_slowpath_fmt_taint+0x32/0x40
04/05/2011 10:24:40		[<c12b1df8>] ? warn_invalid_dmar+0x98/0xb0
04/05/2011 10:24:40		[<c17ef5b2>] ? check_zero_address+0x59/0x123
04/05/2011 10:24:40		[<c12ef74b>] ? acpi_tb_verify_table+0x4b/0x4e
04/05/2011 10:24:40		[<c12ef68d>] ? acpi_get_table_with_size+0x59/0xae
04/05/2011 10:24:40		[<c17ef68e>] ? detect_intel_iommu+0x12/0x78
04/05/2011 10:24:40		[<c17cc0f4>] ? pci_iommu_alloc+0x35/0x5a
04/05/2011 10:24:40		[<c17d7629>] ? mem_init+0xe/0x28c
04/05/2011 10:24:40		[<c17e065f>] ? __alloc_bootmem_node_nopanic+0x72/0x93
04/05/2011 10:24:40		[<c152f1c6>] ? printk+0x30/0x32
04/05/2011 10:24:40		[<c17e5338>] ? page_cgroup_init_flatmem+0xab/0xd9
04/05/2011 10:24:40		[<c17c4649>] ? start_kernel+0x1b6/0x366
04/05/2011 10:24:40		[<c17c43e6>] ? pass_all_bootoptions+0x0/0xa
04/05/2011 10:24:40		[<c17c40f1>] ? i386_start_kernel+0xe0/0xe8
04/05/2011 10:24:40		---[ end trace a7919e7f17c0a725 ]---