dmesg output truncated after the USB stuff.  There are two USB 2.0, one 
USB 2.0/eSATA, and two USB 3.0 ports on the hardware.
[    0.000000] Initializing cgroup subsys cpuset
[    0.000000] Initializing cgroup subsys cpu
[    0.000000] Linux version 3.2.0-4-amd64 (debian-ker...@lists.debian.org) 
(gcc version 4.6.3 (Debian 4.6.3-15) ) #1 SMP Debian 3.2.39-2
[    0.000000] Command line: BOOT_IMAGE=/vmlinuz-3.2.0-4-amd64 
root=/dev/mapper/laptop-root ro quiet
[    0.000000] BIOS-provided physical RAM map:
[    0.000000]  BIOS-e820: 0000000000000000 - 00000000000a0000 (usable)
[    0.000000]  BIOS-e820: 0000000000100000 - 00000000bdcf3000 (usable)
[    0.000000]  BIOS-e820: 00000000bdcf3000 - 00000000beebc000 (reserved)
[    0.000000]  BIOS-e820: 00000000beebc000 - 00000000befbc000 (ACPI NVS)
[    0.000000]  BIOS-e820: 00000000befbc000 - 00000000befff000 (ACPI data)
[    0.000000]  BIOS-e820: 00000000befff000 - 00000000bf000000 (usable)
[    0.000000]  BIOS-e820: 00000000e00f8000 - 00000000e00f9000 (reserved)
[    0.000000]  BIOS-e820: 00000000fed1c000 - 00000000fed20000 (reserved)
[    0.000000]  BIOS-e820: 00000000ffee0000 - 00000000ffeff000 (reserved)
[    0.000000]  BIOS-e820: 0000000100000000 - 000000013e000000 (usable)
[    0.000000] NX (Execute Disable) protection: active
[    0.000000] EFI v2.10 by HPQ
[    0.000000]  ACPI=0xbeffe000  ACPI 2.0=0xbeffe014  SMBIOS=0xbe56b698 
[    0.000000] Kernel-defined memdesc doesn't match the one from EFI!
[    0.000000] EFI: mem00: type=3, attr=0xf, 
range=[0x0000000000000000-0x0000000000001000) (0MB)
[    0.000000] EFI: mem01: type=7, attr=0xf, 
range=[0x0000000000001000-0x0000000000058000) (0MB)
[    0.000000] EFI: mem02: type=4, attr=0xf, 
range=[0x0000000000058000-0x0000000000059000) (0MB)
[    0.000000] EFI: mem03: type=7, attr=0xf, 
range=[0x0000000000059000-0x000000000007d000) (0MB)
[    0.000000] EFI: mem04: type=4, attr=0xf, 
range=[0x000000000007d000-0x000000000007e000) (0MB)
[    0.000000] EFI: mem05: type=3, attr=0xf, 
range=[0x000000000007e000-0x00000000000a0000) (0MB)
[    0.000000] EFI: mem06: type=2, attr=0xf, 
range=[0x0000000000100000-0x00000000003b0000) (2MB)
[    0.000000] EFI: mem07: type=7, attr=0xf, 
range=[0x00000000003b0000-0x0000000000c00000) (8MB)
[    0.000000] EFI: mem08: type=3, attr=0xf, 
range=[0x0000000000c00000-0x0000000001000000) (4MB)
[    0.000000] EFI: mem09: type=7, attr=0xf, 
range=[0x0000000001000000-0x0000000036958000) (857MB)
[    0.000000] EFI: mem10: type=2, attr=0xf, 
range=[0x0000000036958000-0x00000000374a4000) (11MB)
[    0.000000] EFI: mem11: type=7, attr=0xf, 
range=[0x00000000374a4000-0x0000000088ddc000) (1305MB)
[    0.000000] EFI: mem12: type=2, attr=0xf, 
range=[0x0000000088ddc000-0x00000000b6cf4000) (735MB)
[    0.000000] EFI: mem13: type=4, attr=0xf, 
range=[0x00000000b6cf4000-0x00000000b6d14000) (0MB)
[    0.000000] EFI: mem14: type=7, attr=0xf, 
range=[0x00000000b6d14000-0x00000000b80be000) (19MB)
[    0.000000] EFI: mem15: type=1, attr=0xf, 
range=[0x00000000b80be000-0x00000000b80db000) (0MB)
[    0.000000] EFI: mem16: type=3, attr=0xf, 
range=[0x00000000b80db000-0x00000000b8604000) (5MB)
[    0.000000] EFI: mem17: type=4, attr=0xf, 
range=[0x00000000b8604000-0x00000000b9ce4000) (22MB)
[    0.000000] EFI: mem18: type=3, attr=0xf, 
range=[0x00000000b9ce4000-0x00000000b9cf3000) (0MB)
[    0.000000] EFI: mem19: type=7, attr=0xf, 
range=[0x00000000b9cf3000-0x00000000b9da0000) (0MB)
[    0.000000] EFI: mem20: type=4, attr=0xf, 
range=[0x00000000b9da0000-0x00000000ba6e4000) (9MB)
[    0.000000] EFI: mem21: type=7, attr=0xf, 
range=[0x00000000ba6e4000-0x00000000ba6e5000) (0MB)
[    0.000000] EFI: mem22: type=4, attr=0xf, 
range=[0x00000000ba6e5000-0x00000000ba736000) (0MB)
[    0.000000] EFI: mem23: type=7, attr=0xf, 
range=[0x00000000ba736000-0x00000000ba737000) (0MB)
[    0.000000] EFI: mem24: type=4, attr=0xf, 
range=[0x00000000ba737000-0x00000000bbdce000) (22MB)
[    0.000000] EFI: mem25: type=7, attr=0xf, 
range=[0x00000000bbdce000-0x00000000bbdd8000) (0MB)
[    0.000000] EFI: mem26: type=2, attr=0xf, 
range=[0x00000000bbdd8000-0x00000000bbdde000) (0MB)
[    0.000000] EFI: mem27: type=4, attr=0xf, 
range=[0x00000000bbdde000-0x00000000bbddf000) (0MB)
[    0.000000] EFI: mem28: type=7, attr=0xf, 
range=[0x00000000bbddf000-0x00000000bbde1000) (0MB)
[    0.000000] EFI: mem29: type=4, attr=0xf, 
range=[0x00000000bbde1000-0x00000000bbde4000) (0MB)
[    0.000000] EFI: mem30: type=7, attr=0xf, 
range=[0x00000000bbde4000-0x00000000bbde7000) (0MB)
[    0.000000] EFI: mem31: type=4, attr=0xf, 
range=[0x00000000bbde7000-0x00000000bbe04000) (0MB)
[    0.000000] EFI: mem32: type=7, attr=0xf, 
range=[0x00000000bbe04000-0x00000000bbe06000) (0MB)
[    0.000000] EFI: mem33: type=4, attr=0xf, 
range=[0x00000000bbe06000-0x00000000bbecb000) (0MB)
[    0.000000] EFI: mem34: type=7, attr=0xf, 
range=[0x00000000bbecb000-0x00000000bbecc000) (0MB)
[    0.000000] EFI: mem35: type=4, attr=0xf, 
range=[0x00000000bbecc000-0x00000000bbefa000) (0MB)
[    0.000000] EFI: mem36: type=7, attr=0xf, 
range=[0x00000000bbefa000-0x00000000bbefc000) (0MB)
[    0.000000] EFI: mem37: type=4, attr=0xf, 
range=[0x00000000bbefc000-0x00000000bdcf3000) (29MB)
[    0.000000] EFI: mem38: type=5, attr=0x800000000000000f, 
range=[0x00000000bdcf3000-0x00000000bde8e000) (1MB)
[    0.000000] EFI: mem39: type=5, attr=0x800000000000000f, 
range=[0x00000000bde8e000-0x00000000be4fa000) (6MB)
[    0.000000] EFI: mem40: type=6, attr=0x800000000000000f, 
range=[0x00000000be4fa000-0x00000000be559000) (0MB)
[    0.000000] EFI: mem41: type=6, attr=0x800000000000000f, 
range=[0x00000000be559000-0x00000000be6bc000) (1MB)
[    0.000000] EFI: mem42: type=0, attr=0xf, 
range=[0x00000000be6bc000-0x00000000bed1d000) (6MB)
[    0.000000] EFI: mem43: type=0, attr=0xf, 
range=[0x00000000bed1d000-0x00000000beebc000) (1MB)
[    0.000000] EFI: mem44: type=10, attr=0xf, 
range=[0x00000000beebc000-0x00000000befaf000) (0MB)
[    0.000000] EFI: mem45: type=10, attr=0xf, 
range=[0x00000000befaf000-0x00000000befbc000) (0MB)
[    0.000000] EFI: mem46: type=9, attr=0xf, 
range=[0x00000000befbc000-0x00000000befc8000) (0MB)
[    0.000000] EFI: mem47: type=9, attr=0xf, 
range=[0x00000000befc8000-0x00000000befff000) (0MB)
[    0.000000] EFI: mem48: type=4, attr=0xf, 
range=[0x00000000befff000-0x00000000bf000000) (0MB)
[    0.000000] EFI: mem49: type=7, attr=0xf, 
range=[0x0000000100000000-0x000000013e000000) (992MB)
[    0.000000] EFI: mem50: type=11, attr=0x8000000000000001, 
range=[0x00000000e00f8000-0x00000000e00f9000) (0MB)
[    0.000000] EFI: mem51: type=11, attr=0x8000000000000001, 
range=[0x00000000fed1c000-0x00000000fed20000) (0MB)
[    0.000000] EFI: mem52: type=11, attr=0x8000000000000000, 
range=[0x00000000ffee0000-0x00000000ffeff000) (0MB)
[    0.000000] SMBIOS 2.7 present.
[    0.000000] DMI: Hewlett-Packard HP EliteBook 8570p/17A7, BIOS 68ICF Ver. 
F.31 09/24/2012
[    0.000000] e820 update range: 0000000000000000 - 0000000000010000 (usable) 
==> (reserved)
[    0.000000] e820 remove range: 00000000000a0000 - 0000000000100000 (usable)
[    0.000000] No AGP bridge found
[    0.000000] last_pfn = 0x13e000 max_arch_pfn = 0x400000000
[    0.000000] MTRR default type: uncachable
[    0.000000] MTRR fixed ranges enabled:
[    0.000000]   00000-9FFFF write-back
[    0.000000]   A0000-BFFFF uncachable
[    0.000000]   C0000-FFFFF write-protect
[    0.000000] MTRR variable ranges enabled:
[    0.000000]   0 base 0FF800000 mask FFF800000 write-protect
[    0.000000]   1 base 000000000 mask F80000000 write-back
[    0.000000]   2 base 080000000 mask FC0000000 write-back
[    0.000000]   3 base 100000000 mask FC0000000 write-back
[    0.000000]   4 base 13E000000 mask FFE000000 uncachable
[    0.000000]   5 disabled
[    0.000000]   6 disabled
[    0.000000]   7 disabled
[    0.000000]   8 disabled
[    0.000000]   9 disabled
[    0.000000] x86 PAT enabled: cpu 0, old 0x7040600070406, new 0x7010600070106
[    0.000000] last_pfn = 0xbf000 max_arch_pfn = 0x400000000
[    0.000000] initial memory mapped : 0 - 20000000
[    0.000000] Base memory trampoline at [ffff880000098000] 98000 size 20480
[    0.000000] init_memory_mapping: 0000000000000000-00000000bf000000
[    0.000000]  0000000000 - 00bf000000 page 2M
[    0.000000] kernel direct mapping tables up to bf000000 @ 1fffc000-20000000
[    0.000000] init_memory_mapping: 0000000100000000-000000013e000000
[    0.000000]  0100000000 - 013e000000 page 2M
[    0.000000] kernel direct mapping tables up to 13e000000 @ bbefa000-bbefc000
[    0.000000] RAMDISK: 36958000 - 374a4000
[    0.000000] ACPI: RSDP 00000000beffe014 00024 (v02 HPQOEM)
[    0.000000] ACPI: XSDT 00000000beffe120 0009C (v01 HPQOEM SLIC-MPC 0000000F  
    01000013)
[    0.000000] ACPI: FACP 00000000beffc000 0010C (v05 HPQOEM 17A9     0000000F 
HP   00000001)
[    0.000000] ACPI Warning: FADT (revision 5) is longer than ACPI 2.0 version, 
truncating length 268 to 244 (20110623/tbfadt-288)
[    0.000000] ACPI: DSDT 00000000befd3000 23043 (v02 HPQOEM 17A9     00000001 
INTL 20110112)
[    0.000000] ACPI: FACS 00000000bee71000 00040
[    0.000000] ACPI: HPET 00000000beffb000 00038 (v01 HPQOEM 17A9     00000001 
HP   00000001)
[    0.000000] ACPI: APIC 00000000beffa000 000BC (v01 HPQOEM 17A9     00000001 
HP   00000001)
[    0.000000] ACPI: MCFG 00000000beff9000 0003C (v01 HPQOEM 17A9     00000001 
HP   00000001)
[    0.000000] ACPI: TCPA 00000000beff7000 00032 (v02 HPQOEM 17A9     00000000 
HP   00000001)
[    0.000000] ACPI: SSDT 00000000befd0000 002CA (v01 HPQOEM SataAhci 00001000 
INTL 20110112)
[    0.000000] ACPI: SSDT 00000000befcf000 0048A (v01 HPQOEM PtidDevc 00001000 
INTL 20110112)
[    0.000000] ACPI: SLIC 00000000befce000 00176 (v01 HPQOEM SLIC-MPC 00000001 
HP   00000001)
[    0.000000] ACPI: MSDM 00000000befcd000 00055 (v03 HPQOEM SLIC-MPC 00000000 
HP   00000001)
[    0.000000] ACPI: FPDT 00000000befcc000 00044 (v01 HPQOEM 17A9     00000001 
HP   00000001)
[    0.000000] ACPI: BGRT 00000000befcb000 00038 (v00 HPQOEM 17A9     00000001 
HP   00000001)
[    0.000000] ACPI: SSDT 00000000befca000 009B6 (v01  PmRef  Cpu0Ist 00003000 
INTL 20110112)
[    0.000000] ACPI: SSDT 00000000befc9000 00AAD (v01  PmRef    CpuPm 00003000 
INTL 20110112)
[    0.000000] ACPI: DMAR 00000000befc8000 00080 (v01 INTEL      SNB  00000001 
INTL 00000001)
[    0.000000] ACPI: ASF! 00000000beff8000 000A5 (v32 HPQOEM 17A9     00000001 
HP   00000001)
[    0.000000] ACPI: Local APIC address 0xfee00000
[    0.000000] No NUMA configuration found
[    0.000000] Faking a node at 0000000000000000-000000013e000000
[    0.000000] Initmem setup node 0 0000000000000000-000000013e000000
[    0.000000]   NODE_DATA [000000013dffb000 - 000000013dffffff]
[    0.000000]  [ffffea0000000000-ffffea00045fffff] PMD -> 
[ffff880139600000-ffff88013cdfffff] on node 0
[    0.000000] Zone PFN ranges:
[    0.000000]   DMA      0x00000010 -> 0x00001000
[    0.000000]   DMA32    0x00001000 -> 0x00100000
[    0.000000]   Normal   0x00100000 -> 0x0013e000
[    0.000000] Movable zone start PFN for each node
[    0.000000] early_node_map[4] active PFN ranges
[    0.000000]     0: 0x00000010 -> 0x000000a0
[    0.000000]     0: 0x00000100 -> 0x000bdcf3
[    0.000000]     0: 0x000befff -> 0x000bf000
[    0.000000]     0: 0x00100000 -> 0x0013e000
[    0.000000] On node 0 totalpages: 1031300
[    0.000000]   DMA zone: 56 pages used for memmap
[    0.000000]   DMA zone: 11 pages reserved
[    0.000000]   DMA zone: 3917 pages, LIFO batch:0
[    0.000000]   DMA32 zone: 14280 pages used for memmap
[    0.000000]   DMA32 zone: 759084 pages, LIFO batch:31
[    0.000000]   Normal zone: 3472 pages used for memmap
[    0.000000]   Normal zone: 250480 pages, LIFO batch:31
[    0.000000] ACPI: PM-Timer IO Port: 0x408
[    0.000000] ACPI: Local APIC address 0xfee00000
[    0.000000] ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00] enabled)
[    0.000000] ACPI: LAPIC (acpi_id[0x01] lapic_id[0x01] enabled)
[    0.000000] ACPI: LAPIC (acpi_id[0x02] lapic_id[0x02] enabled)
[    0.000000] ACPI: LAPIC (acpi_id[0x03] lapic_id[0x03] enabled)
[    0.000000] ACPI: LAPIC (acpi_id[0x04] lapic_id[0x00] disabled)
[    0.000000] ACPI: LAPIC (acpi_id[0x05] lapic_id[0x00] disabled)
[    0.000000] ACPI: LAPIC (acpi_id[0x06] lapic_id[0x00] disabled)
[    0.000000] ACPI: LAPIC (acpi_id[0x07] lapic_id[0x00] disabled)
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x00] high edge lint[0x1])
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x01] high edge lint[0x1])
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x02] high edge lint[0x1])
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x03] high edge lint[0x1])
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x04] high edge lint[0x1])
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x05] high edge lint[0x1])
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x06] high edge lint[0x1])
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x07] high edge lint[0x1])
[    0.000000] ACPI: IOAPIC (id[0x00] address[0xfec00000] gsi_base[0])
[    0.000000] IOAPIC[0]: apic_id 0, version 32, address 0xfec00000, GSI 0-23
[    0.000000] ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 dfl dfl)
[    0.000000] ACPI: INT_SRC_OVR (bus 0 bus_irq 9 global_irq 9 high level)
[    0.000000] ACPI: IRQ0 used by override.
[    0.000000] ACPI: IRQ2 used by override.
[    0.000000] ACPI: IRQ9 used by override.
[    0.000000] Using ACPI (MADT) for SMP configuration information
[    0.000000] ACPI: HPET id: 0x8086a201 base: 0xfed00000
[    0.000000] SMP: Allowing 8 CPUs, 4 hotplug CPUs
[    0.000000] nr_irqs_gsi: 40
[    0.000000] PM: Registered nosave memory: 00000000000a0000 - 0000000000100000
[    0.000000] PM: Registered nosave memory: 00000000bdcf3000 - 00000000beebc000
[    0.000000] PM: Registered nosave memory: 00000000beebc000 - 00000000befbc000
[    0.000000] PM: Registered nosave memory: 00000000befbc000 - 00000000befff000
[    0.000000] PM: Registered nosave memory: 00000000bf000000 - 00000000e00f8000
[    0.000000] PM: Registered nosave memory: 00000000e00f8000 - 00000000e00f9000
[    0.000000] PM: Registered nosave memory: 00000000e00f9000 - 00000000fed1c000
[    0.000000] PM: Registered nosave memory: 00000000fed1c000 - 00000000fed20000
[    0.000000] PM: Registered nosave memory: 00000000fed20000 - 00000000ffee0000
[    0.000000] PM: Registered nosave memory: 00000000ffee0000 - 00000000ffeff000
[    0.000000] PM: Registered nosave memory: 00000000ffeff000 - 0000000100000000
[    0.000000] Allocating PCI resources starting at bf000000 (gap: 
bf000000:210f8000)
[    0.000000] Booting paravirtualized kernel on bare hardware
[    0.000000] setup_percpu: NR_CPUS:512 nr_cpumask_bits:512 nr_cpu_ids:8 
nr_node_ids:1
[    0.000000] PERCPU: Embedded 28 pages/cpu @ffff88013dc00000 s82944 r8192 
d23552 u262144
[    0.000000] pcpu-alloc: s82944 r8192 d23552 u262144 alloc=1*2097152
[    0.000000] pcpu-alloc: [0] 0 1 2 3 4 5 6 7 
[    0.000000] Built 1 zonelists in Node order, mobility grouping on.  Total 
pages: 1013481
[    0.000000] Policy zone: Normal
[    0.000000] Kernel command line: BOOT_IMAGE=/vmlinuz-3.2.0-4-amd64 
root=/dev/mapper/laptop-root ro quiet
[    0.000000] PID hash table entries: 4096 (order: 3, 32768 bytes)
[    0.000000] xsave/xrstor: enabled xstate_bv 0x7, cntxt size 0x340
[    0.000000] Checking aperture...
[    0.000000] No AGP bridge found
[    0.000000] Calgary: detecting Calgary via BIOS EBDA area
[    0.000000] Calgary: Unable to locate Rio Grande table in EBDA - bailing!
[    0.000000] Memory: 3887160k/5210112k available (3420k kernel code, 1084912k 
absent, 238040k reserved, 3318k data, 576k init)
[    0.000000] Hierarchical RCU implementation.
[    0.000000]  RCU dyntick-idle grace-period acceleration is enabled.
[    0.000000] NR_IRQS:33024 nr_irqs:744 16
[    0.000000] Extended CMOS year: 2000
[    0.000000] Console: colour dummy device 80x25
[    0.000000] console [tty0] enabled
[    0.000000] hpet clockevent registered
[    0.000000] Fast TSC calibration using PIT
[    0.004000] Detected 2593.913 MHz processor.
[    0.000002] Calibrating delay loop (skipped), value calculated using timer 
frequency.. 5187.82 BogoMIPS (lpj=10375652)
[    0.000005] pid_max: default: 32768 minimum: 301
[    0.007541] Security Framework initialized
[    0.007546] AppArmor: AppArmor disabled by boot time parameter
[    0.007768] Dentry cache hash table entries: 524288 (order: 10, 4194304 
bytes)
[    0.008718] Inode-cache hash table entries: 262144 (order: 9, 2097152 bytes)
[    0.009139] Mount-cache hash table entries: 256
[    0.009220] Initializing cgroup subsys cpuacct
[    0.009223] Initializing cgroup subsys memory
[    0.009231] Initializing cgroup subsys devices
[    0.009232] Initializing cgroup subsys freezer
[    0.009234] Initializing cgroup subsys net_cls
[    0.009235] Initializing cgroup subsys blkio
[    0.009240] Initializing cgroup subsys perf_event
[    0.009263] CPU: Physical Processor ID: 0
[    0.009264] CPU: Processor Core ID: 0
[    0.009268] ENERGY_PERF_BIAS: Set to 'normal', was 'performance'
[    0.009269] ENERGY_PERF_BIAS: View and update with x86_energy_perf_policy(8)
[    0.009609] mce: CPU supports 7 MCE banks
[    0.009619] CPU0: Thermal monitoring enabled (TM1)
[    0.009625] using mwait in idle threads.
[    0.010005] ACPI: Core revision 20110623
[    0.068395] DMAR: Host address width 36
[    0.068397] DMAR: DRHD base: 0x000000fed90000 flags: 0x1
[    0.068403] IOMMU 0: reg_base_addr fed90000 ver 1:0 cap c9008020660262 ecap 
f0105a
[    0.068404] DMAR: RMRR base: 0x000000bee4c000 end: 0x000000bee6bfff
[    0.068475] IOAPIC id 0 under DRHD base  0xfed90000 IOMMU 0
[    0.068477] HPET id 0 under DRHD base 0xfed90000
[    0.068568] Enabled IRQ remapping in x2apic mode
[    0.068569] Enabling x2apic
[    0.068570] Enabled x2apic
[    0.068575] Switched APIC routing to cluster x2apic.
[    0.069013] ..TIMER: vector=0x30 apic1=0 pin1=2 apic2=-1 pin2=-1
[    0.108619] CPU0: Intel(R) Core(TM) i5-3320M CPU @ 2.60GHz stepping 09
[    0.215764] Performance Events: PEBS fmt1+, generic architected perfmon, 
Intel PMU driver.
[    0.215770] ... version:                3
[    0.215771] ... bit width:              48
[    0.215772] ... generic registers:      4
[    0.215773] ... value mask:             0000ffffffffffff
[    0.215774] ... max period:             000000007fffffff
[    0.215775] ... fixed-purpose events:   3
[    0.215777] ... event mask:             000000070000000f
[    0.215893] NMI watchdog enabled, takes one hw-pmu counter.
[    0.215972] Booting Node   0, Processors  #1
[    0.215974] smpboot cpu 1: start_ip = 98000
[    0.323986] NMI watchdog enabled, takes one hw-pmu counter.
[    0.324069]  #2
[    0.324070] smpboot cpu 2: start_ip = 98000
[    0.431815] NMI watchdog enabled, takes one hw-pmu counter.
[    0.431893]  #3
[    0.431894] smpboot cpu 3: start_ip = 98000
[    0.539639] NMI watchdog enabled, takes one hw-pmu counter.
[    0.539660] Brought up 4 CPUs
[    0.539662] Total of 4 processors activated (20752.37 BogoMIPS).
[    0.542646] devtmpfs: initialized
[    0.545335] PM: Registering ACPI NVS region at beebc000 (1048576 bytes)
[    0.545466] print_constraints: dummy: 
[    0.545512] NET: Registered protocol family 16
[    0.545580] ACPI FADT declares the system doesn't support PCIe ASPM, so 
disable it
[    0.545582] ACPI: bus type pci registered
[    0.545641] PCI: MMCONFIG for domain 0000 [bus 00-ff] at [mem 
0xe0000000-0xefffffff] (base 0xe0000000)
[    0.545644] PCI: not using MMCONFIG
[    0.545645] PCI: Using configuration type 1 for base access
[    0.546214] bio: create slab <bio-0> at 0
[    0.546289] ACPI: Added _OSI(Module Device)
[    0.546291] ACPI: Added _OSI(Processor Device)
[    0.546292] ACPI: Added _OSI(3.0 _SCP Extensions)
[    0.546294] ACPI: Added _OSI(Processor Aggregator Device)
[    0.547761] ACPI: EC: Look up EC in DSDT
[    0.549481] ACPI: Executed 1 blocks of module-level executable AML code
[    0.567158] [Firmware Bug]: ACPI: BIOS _OSI(Linux) query ignored
[    0.608200] ACPI: SSDT 00000000bee6f018 00861 (v01  PmRef  Cpu0Cst 00003001 
INTL 20110112)
[    0.608575] ACPI: Dynamic OEM Table Load:
[    0.608578] ACPI: SSDT           (null) 00861 (v01  PmRef  Cpu0Cst 00003001 
INTL 20110112)
[    0.623243] ACPI: SSDT 00000000bee70a98 00303 (v01  PmRef    ApIst 00003000 
INTL 20110112)
[    0.623646] ACPI: Dynamic OEM Table Load:
[    0.623648] ACPI: SSDT           (null) 00303 (v01  PmRef    ApIst 00003000 
INTL 20110112)
[    0.635098] ACPI: SSDT 00000000bee6ed98 00119 (v01  PmRef    ApCst 00003000 
INTL 20110112)
[    0.635465] ACPI: Dynamic OEM Table Load:
[    0.635467] ACPI: SSDT           (null) 00119 (v01  PmRef    ApCst 00003000 
INTL 20110112)
[    1.071444] ACPI: Interpreter enabled
[    1.071448] ACPI: (supports S0 S3 S4 S5)
[    1.071468] ACPI: Using IOAPIC for interrupt routing
[    1.071480] PCI: MMCONFIG for domain 0000 [bus 00-ff] at [mem 
0xe0000000-0xefffffff] (base 0xe0000000)
[    1.071756] PCI: MMCONFIG at [mem 0xe0000000-0xefffffff] reserved in ACPI 
motherboard resources
[    1.089737] ACPI: Power Resource [APPR] (off)
[    1.102698] ACPI: Power Resource [COMP] (off)
[    1.102961] ACPI: Power Resource [LPP] (on)
[    1.105242] ACPI: EC: GPE = 0x16, I/O: command/status = 0x66, data = 0x62
[    1.105404] ACPI: No dock devices found.
[    1.105406] HEST: Table not found.
[    1.105409] PCI: Using host bridge windows from ACPI; if necessary, use 
"pci=nocrs" and report a bug
[    1.106054] ACPI: PCI Root Bridge [PCI0] (domain 0000 [bus 00-3e])
[    1.106584] pci_root PNP0A08:00: host bridge window [io  0x0000-0x0cf7]
[    1.106586] pci_root PNP0A08:00: host bridge window [io  0x0d00-0xffff]
[    1.106587] pci_root PNP0A08:00: host bridge window [mem 
0x000a0000-0x000bffff]
[    1.106590] pci_root PNP0A08:00: host bridge window [mem 
0xc0000000-0xdfffffff]
[    1.106591] pci_root PNP0A08:00: host bridge window [mem 
0xf0000000-0xfedfffff]
[    1.106593] pci_root PNP0A08:00: host bridge window [mem 
0xfee01000-0xffffffff]
[    1.106603] pci 0000:00:00.0: [8086:0154] type 0 class 0x000600
[    1.106636] pci 0000:00:01.0: [8086:0151] type 1 class 0x000604
[    1.106664] pci 0000:00:01.0: PME# supported from D0 D3hot D3cold
[    1.106705] pci 0000:00:14.0: [8086:1e31] type 0 class 0x000c03
[    1.106728] pci 0000:00:14.0: reg 10: [mem 0xd4420000-0xd442ffff 64bit]
[    1.106797] pci 0000:00:14.0: PME# supported from D3hot D3cold
[    1.106821] pci 0000:00:16.0: [8086:1e3a] type 0 class 0x000780
[    1.106843] pci 0000:00:16.0: reg 10: [mem 0xd4434000-0xd443400f 64bit]
[    1.106918] pci 0000:00:16.0: PME# supported from D0 D3hot D3cold
[    1.106942] pci 0000:00:16.3: [8086:1e3d] type 0 class 0x000700
[    1.106960] pci 0000:00:16.3: reg 10: [io  0x5050-0x5057]
[    1.106969] pci 0000:00:16.3: reg 14: [mem 0xd443b000-0xd443bfff]
[    1.107067] pci 0000:00:19.0: [8086:1502] type 0 class 0x000200
[    1.107084] pci 0000:00:19.0: reg 10: [mem 0xd4400000-0xd441ffff]
[    1.107093] pci 0000:00:19.0: reg 14: [mem 0xd443a000-0xd443afff]
[    1.107102] pci 0000:00:19.0: reg 18: [io  0x5020-0x503f]
[    1.107164] pci 0000:00:19.0: PME# supported from D0 D3hot D3cold
[    1.107191] pci 0000:00:1a.0: [8086:1e2d] type 0 class 0x000c03
[    1.107210] pci 0000:00:1a.0: reg 10: [mem 0xd4439000-0xd44393ff]
[    1.107298] pci 0000:00:1a.0: PME# supported from D0 D3hot D3cold
[    1.107325] pci 0000:00:1b.0: [8086:1e20] type 0 class 0x000403
[    1.107339] pci 0000:00:1b.0: reg 10: [mem 0xd4430000-0xd4433fff 64bit]
[    1.107405] pci 0000:00:1b.0: PME# supported from D0 D3hot D3cold
[    1.107429] pci 0000:00:1c.0: [8086:1e10] type 1 class 0x000604
[    1.107506] pci 0000:00:1c.0: PME# supported from D0 D3hot D3cold
[    1.107531] pci 0000:00:1c.1: [8086:1e12] type 1 class 0x000604
[    1.107607] pci 0000:00:1c.1: PME# supported from D0 D3hot D3cold
[    1.107633] pci 0000:00:1c.2: [8086:1e14] type 1 class 0x000604
[    1.107710] pci 0000:00:1c.2: PME# supported from D0 D3hot D3cold
[    1.107736] pci 0000:00:1c.3: [8086:1e16] type 1 class 0x000604
[    1.107813] pci 0000:00:1c.3: PME# supported from D0 D3hot D3cold
[    1.107845] pci 0000:00:1d.0: [8086:1e26] type 0 class 0x000c03
[    1.107866] pci 0000:00:1d.0: reg 10: [mem 0xd4438000-0xd44383ff]
[    1.107955] pci 0000:00:1d.0: PME# supported from D0 D3hot D3cold
[    1.107980] pci 0000:00:1f.0: [8086:1e55] type 0 class 0x000601
[    1.108101] pci 0000:00:1f.2: [8086:1e03] type 0 class 0x000106
[    1.108119] pci 0000:00:1f.2: reg 10: [io  0x5048-0x504f]
[    1.108127] pci 0000:00:1f.2: reg 14: [io  0x505c-0x505f]
[    1.108135] pci 0000:00:1f.2: reg 18: [io  0x5040-0x5047]
[    1.108143] pci 0000:00:1f.2: reg 1c: [io  0x5058-0x505b]
[    1.108151] pci 0000:00:1f.2: reg 20: [io  0x5000-0x501f]
[    1.108159] pci 0000:00:1f.2: reg 24: [mem 0xd4437000-0xd44377ff]
[    1.108202] pci 0000:00:1f.2: PME# supported from D3hot
[    1.108246] pci 0000:01:00.0: [1002:6841] type 0 class 0x000300
[    1.108257] pci 0000:01:00.0: reg 10: [mem 0xc0000000-0xcfffffff 64bit pref]
[    1.108266] pci 0000:01:00.0: reg 18: [mem 0xd4300000-0xd431ffff 64bit]
[    1.108273] pci 0000:01:00.0: reg 20: [io  0x4000-0x40ff]
[    1.108284] pci 0000:01:00.0: reg 30: [mem 0xfffe0000-0xffffffff pref]
[    1.108311] pci 0000:01:00.0: supports D1 D2
[    1.108329] pci 0000:01:00.1: [1002:aa90] type 0 class 0x000403
[    1.108340] pci 0000:01:00.1: reg 10: [mem 0xd4320000-0xd4323fff 64bit]
[    1.108389] pci 0000:01:00.1: supports D1 D2
[    1.114083] pci 0000:00:01.0: PCI bridge to [bus 01-01]
[    1.114088] pci 0000:00:01.0:   bridge window [io  0x4000-0x4fff]
[    1.114093] pci 0000:00:01.0:   bridge window [mem 0xd4300000-0xd43fffff]
[    1.114100] pci 0000:00:01.0:   bridge window [mem 0xc0000000-0xcfffffff 
64bit pref]
[    1.114155] pci 0000:00:1c.0: PCI bridge to [bus 02-02]
[    1.114161] pci 0000:00:1c.0:   bridge window [mem 0xd4200000-0xd42fffff]
[    1.114210] pci 0000:00:1c.1: PCI bridge to [bus 03-23]
[    1.114214] pci 0000:00:1c.1:   bridge window [io  0x2000-0x3fff]
[    1.114218] pci 0000:00:1c.1:   bridge window [mem 0xd0000000-0xd3ffffff]
[    1.114298] pci 0000:24:00.0: [197b:2380] type 0 class 0x000c00
[    1.114323] pci 0000:24:00.0: reg 10: [mem 0xd4100000-0xd41007ff]
[    1.114347] pci 0000:24:00.0: reg 14: [mem 0xd4105000-0xd41050ff]
[    1.114617] pci 0000:24:00.1: [197b:2392] type 0 class 0x000880
[    1.114643] pci 0000:24:00.1: reg 10: [mem 0xd4104000-0xd41040ff]
[    1.114757] pci 0000:24:00.1: reg 30: [mem 0xffff8000-0xffffffff pref]
[    1.114904] pci 0000:24:00.2: [197b:2391] type 0 class 0x000805
[    1.114931] pci 0000:24:00.2: reg 10: [mem 0xd4103000-0xd41030ff]
[    1.122104] pci 0000:00:1c.2: PCI bridge to [bus 24-24]
[    1.122110] pci 0000:00:1c.2:   bridge window [mem 0xd4100000-0xd41fffff]
[    1.122319] pci 0000:25:00.0: [8086:0082] type 0 class 0x000280
[    1.122468] pci 0000:25:00.0: reg 10: [mem 0xd4000000-0xd4001fff 64bit]
[    1.123179] pci 0000:25:00.0: PME# supported from D0 D3hot D3cold
[    1.130149] pci 0000:00:1c.3: PCI bridge to [bus 25-25]
[    1.130155] pci 0000:00:1c.3:   bridge window [mem 0xd4000000-0xd40fffff]
[    1.130183] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0._PRT]
[    1.130335] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.PEGP._PRT]
[    1.130395] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.RP01._PRT]
[    1.130426] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.RP02._PRT]
[    1.130480] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.RP03._PRT]
[    1.130524] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.RP04._PRT]
[    1.130939]  pci0000:00: Requesting ACPI _OSC control (0x1d)
[    1.132008]  pci0000:00: ACPI _OSC control (0x1d) granted
[    1.137235] ACPI: PCI Interrupt Link [LNKA] (IRQs 3 4 5 6 *10 11 12 14 15)
[    1.137274] ACPI: PCI Interrupt Link [LNKB] (IRQs 3 4 5 6 10 11 12 14 15) 
*0, disabled.
[    1.137312] ACPI: PCI Interrupt Link [LNKC] (IRQs 3 4 5 6 10 11 12 14 15) 
*0, disabled.
[    1.137349] ACPI: PCI Interrupt Link [LNKD] (IRQs 3 4 5 6 10 11 12 14 15) 
*0, disabled.
[    1.137385] ACPI: PCI Interrupt Link [LNKE] (IRQs 3 4 5 6 10 11 12 14 15) 
*0, disabled.
[    1.137421] ACPI: PCI Interrupt Link [LNKF] (IRQs 3 4 5 6 10 11 12 14 15) 
*0, disabled.
[    1.137458] ACPI: PCI Interrupt Link [LNKG] (IRQs 3 4 5 6 10 11 12 14 15) 
*0, disabled.
[    1.137494] ACPI: PCI Interrupt Link [LNKH] (IRQs 3 4 5 6 10 11 12 14 15) 
*0, disabled.
[    1.137577] vgaarb: device added: 
PCI:0000:01:00.0,decodes=io+mem,owns=io+mem,locks=none
[    1.137580] vgaarb: loaded
[    1.137581] vgaarb: bridge control possible 0000:01:00.0
[    1.137611] PCI: Using ACPI for IRQ routing
[    1.143925] PCI: pci_cache_line_size set to 64 bytes
[    1.144020] reserve RAM buffer: 00000000bdcf3000 - 00000000bfffffff 
[    1.144022] reserve RAM buffer: 00000000bf000000 - 00000000bfffffff 
[    1.144024] reserve RAM buffer: 000000013e000000 - 000000013fffffff 
[    1.144110] hpet0: at MMIO 0xfed00000, IRQs 2, 8, 0, 0, 0, 0, 0, 0
[    1.144115] hpet0: 8 comparators, 64-bit 14.318180 MHz counter
[    1.146129] Switching to clocksource hpet
[    1.147452] pnp: PnP ACPI init
[    1.147461] ACPI: bus type pnp registered
[    1.147743] pnp 00:00: [bus 00-3e]
[    1.147745] pnp 00:00: [io  0x0000-0x0cf7 window]
[    1.147747] pnp 00:00: [io  0x0cf8-0x0cff]
[    1.147748] pnp 00:00: [io  0x0d00-0xffff window]
[    1.147750] pnp 00:00: [mem 0x000a0000-0x000bffff window]
[    1.147751] pnp 00:00: [mem 0x000c0000-0x000c3fff window]
[    1.147753] pnp 00:00: [mem 0x000c4000-0x000c7fff window]
[    1.147755] pnp 00:00: [mem 0x000c8000-0x000cbfff window]
[    1.147756] pnp 00:00: [mem 0x000cc000-0x000cffff window]
[    1.147758] pnp 00:00: [mem 0x000d0000-0x000d3fff window]
[    1.147759] pnp 00:00: [mem 0x000d4000-0x000d7fff window]
[    1.147761] pnp 00:00: [mem 0x000d8000-0x000dbfff window]
[    1.147763] pnp 00:00: [mem 0x000dc000-0x000dffff window]
[    1.147764] pnp 00:00: [mem 0x000e0000-0x000e3fff window]
[    1.147766] pnp 00:00: [mem 0x000e4000-0x000e7fff window]
[    1.147767] pnp 00:00: [mem 0x000e8000-0x000ebfff window]
[    1.147769] pnp 00:00: [mem 0x000ec000-0x000effff window]
[    1.147771] pnp 00:00: [mem 0x000f0000-0x000fffff window]
[    1.147773] pnp 00:00: [mem 0xc0000000-0xdfffffff window]
[    1.147775] pnp 00:00: [mem 0xf0000000-0xfedfffff window]
[    1.147776] pnp 00:00: [mem 0xfee01000-0xffffffff window]
[    1.147827] pnp 00:00: Plug and Play ACPI device, IDs PNP0a08 PNP0a03 
(active)
[    1.147897] pnp 00:01: [mem 0xfed1c000-0xfed1ffff]
[    1.147898] pnp 00:01: [mem 0xfed10000-0xfed17fff]
[    1.147900] pnp 00:01: [mem 0xfed18000-0xfed18fff]
[    1.147901] pnp 00:01: [mem 0xfed19000-0xfed19fff]
[    1.147903] pnp 00:01: [mem 0x00000000-0xffffffffffffffff disabled]
[    1.147905] pnp 00:01: [mem 0xe0000000-0xefffffff]
[    1.147906] pnp 00:01: [mem 0xfed20000-0xfed3ffff]
[    1.147908] pnp 00:01: [mem 0xfed90000-0xfed93fff]
[    1.147909] pnp 00:01: [mem 0xfed45000-0xfed8ffff]
[    1.147911] pnp 00:01: [mem 0xfec00000-0xfec00fff]
[    1.147945] system 00:01: [mem 0xfed1c000-0xfed1ffff] has been reserved
[    1.147947] system 00:01: [mem 0xfed10000-0xfed17fff] has been reserved
[    1.147949] system 00:01: [mem 0xfed18000-0xfed18fff] has been reserved
[    1.147951] system 00:01: [mem 0xfed19000-0xfed19fff] has been reserved
[    1.147953] system 00:01: [mem 0xe0000000-0xefffffff] could not be reserved
[    1.147955] system 00:01: [mem 0xfed20000-0xfed3ffff] has been reserved
[    1.147957] system 00:01: [mem 0xfed90000-0xfed93fff] has been reserved
[    1.147959] system 00:01: [mem 0xfed45000-0xfed8ffff] has been reserved
[    1.147961] system 00:01: [mem 0xfec00000-0xfec00fff] could not be reserved
[    1.147963] system 00:01: Plug and Play ACPI device, IDs PNP0c02 (active)
[    1.148036] pnp 00:02: [io  0x0000-0x001f]
[    1.148038] pnp 00:02: [io  0x0081-0x0091]
[    1.148039] pnp 00:02: [io  0x0093-0x009f]
[    1.148041] pnp 00:02: [io  0x00c0-0x00df]
[    1.148042] pnp 00:02: [dma 4]
[    1.148070] pnp 00:02: Plug and Play ACPI device, IDs PNP0200 (active)
[    1.148076] pnp 00:03: [mem 0xff000000-0xffffffff]
[    1.148101] pnp 00:03: Plug and Play ACPI device, IDs INT0800 (active)
[    1.148142] pnp 00:04: [io  0xfe00-0xfe0f]
[    1.148143] pnp 00:04: [io  0xfe80-0xfe8f]
[    1.148145] pnp 00:04: [mem 0xfed40000-0xfed44fff]
[    1.148173] pnp 00:04: Plug and Play ACPI device, IDs IFX0102 PNP0c31 
(active)
[    1.148239] pnp 00:05: [mem 0xfed00000-0xfed003ff]
[    1.148267] pnp 00:05: Plug and Play ACPI device, IDs PNP0103 (active)
[    1.148274] pnp 00:06: [io  0x00f0]
[    1.148284] pnp 00:06: [irq 13]
[    1.148311] pnp 00:06: Plug and Play ACPI device, IDs PNP0c04 (active)
[    1.148318] pnp 00:07: [io  0x002e-0x002f]
[    1.148320] pnp 00:07: [io  0x004e-0x004f]
[    1.148321] pnp 00:07: [io  0x0061]
[    1.148322] pnp 00:07: [io  0x0063]
[    1.148324] pnp 00:07: [io  0x0065]
[    1.148326] pnp 00:07: [io  0x0067]
[    1.148327] pnp 00:07: [io  0x0070]
[    1.148328] pnp 00:07: [io  0x0080]
[    1.148329] pnp 00:07: [io  0x0092]
[    1.148331] pnp 00:07: [io  0x00b2-0x00b3]
[    1.148332] pnp 00:07: [io  0x0200-0x027f]
[    1.148334] pnp 00:07: [io  0x1000-0x100f]
[    1.148335] pnp 00:07: [io  0xffff]
[    1.148336] pnp 00:07: [io  0xffff]
[    1.148338] pnp 00:07: [io  0x0400-0x047f]
[    1.148339] pnp 00:07: [io  0x0500-0x057f]
[    1.148340] pnp 00:07: [io  0xef80-0xef9f]
[    1.148383] system 00:07: [io  0x0200-0x027f] has been reserved
[    1.148385] system 00:07: [io  0x1000-0x100f] has been reserved
[    1.148386] system 00:07: [io  0xffff] has been reserved
[    1.148388] system 00:07: [io  0xffff] has been reserved
[    1.148390] system 00:07: [io  0x0400-0x047f] has been reserved
[    1.148392] system 00:07: [io  0x0500-0x057f] has been reserved
[    1.148394] system 00:07: [io  0xef80-0xef9f] has been reserved
[    1.148396] system 00:07: Plug and Play ACPI device, IDs PNP0c02 (active)
[    1.148403] pnp 00:08: [io  0x0070-0x0077]
[    1.148408] pnp 00:08: [irq 8]
[    1.148436] pnp 00:08: Plug and Play ACPI device, IDs PNP0b00 (active)
[    1.148603] pnp 00:09: Plug and Play ACPI device, IDs PNP0501 PNP0500 
(disabled)
[    1.148913] pnp 00:0a: [io  0x0378-0x037f]
[    1.148914] pnp 00:0a: [io  0x0778-0x077a]
[    1.148920] pnp 00:0a: [irq 5]
[    1.148922] pnp 00:0a: [dma 0 disabled]
[    1.149000] pnp 00:0a: Plug and Play ACPI device, IDs PNP0401 (active)
[    1.149008] pnp 00:0b: [io  0x0060]
[    1.149009] pnp 00:0b: [io  0x0064]
[    1.149015] pnp 00:0b: [irq 1]
[    1.149044] pnp 00:0b: Plug and Play ACPI device, IDs HPQ8001 PNP0303 
(active)
[    1.149055] pnp 00:0c: [irq 12]
[    1.149085] pnp 00:0c: Plug and Play ACPI device, IDs SYN018f SYN0100 
SYN0002 PNP0f13 (active)
[    1.149272] pnp 00:0d: [irq 23]
[    1.149307] pnp 00:0d: Plug and Play ACPI device, IDs HPQ6000 (active)
[    1.149494] pnp: PnP ACPI: found 14 devices
[    1.149496] ACPI: ACPI bus type pnp unregistered
[    1.155928] pci 0000:01:00.0: no compatible bridge window for [mem 
0xfffe0000-0xffffffff pref]
[    1.155931] pci 0000:24:00.1: no compatible bridge window for [mem 
0xffff8000-0xffffffff pref]
[    1.155935] PCI: max bus depth: 1 pci_try_num: 2
[    1.155973] pci 0000:00:1c.2: BAR 15: assigned [mem 0xd4500000-0xd45fffff 
pref]
[    1.155976] pci 0000:00:1c.1: BAR 15: assigned [mem 0xd4600000-0xd47fffff 
64bit pref]
[    1.155978] pci 0000:01:00.0: BAR 6: assigned [mem 0xd4340000-0xd435ffff 
pref]
[    1.155980] pci 0000:00:01.0: PCI bridge to [bus 01-01]
[    1.155982] pci 0000:00:01.0:   bridge window [io  0x4000-0x4fff]
[    1.155985] pci 0000:00:01.0:   bridge window [mem 0xd4300000-0xd43fffff]
[    1.155987] pci 0000:00:01.0:   bridge window [mem 0xc0000000-0xcfffffff 
64bit pref]
[    1.155991] pci 0000:00:1c.0: PCI bridge to [bus 02-02]
[    1.155996] pci 0000:00:1c.0:   bridge window [mem 0xd4200000-0xd42fffff]
[    1.156004] pci 0000:00:1c.1: PCI bridge to [bus 03-23]
[    1.156007] pci 0000:00:1c.1:   bridge window [io  0x2000-0x3fff]
[    1.156013] pci 0000:00:1c.1:   bridge window [mem 0xd0000000-0xd3ffffff]
[    1.156017] pci 0000:00:1c.1:   bridge window [mem 0xd4600000-0xd47fffff 
64bit pref]
[    1.156024] pci 0000:24:00.1: BAR 6: assigned [mem 0xd4500000-0xd4507fff 
pref]
[    1.156026] pci 0000:00:1c.2: PCI bridge to [bus 24-24]
[    1.156031] pci 0000:00:1c.2:   bridge window [mem 0xd4100000-0xd41fffff]
[    1.156035] pci 0000:00:1c.2:   bridge window [mem 0xd4500000-0xd45fffff 
pref]
[    1.156042] pci 0000:00:1c.3: PCI bridge to [bus 25-25]
[    1.156047] pci 0000:00:1c.3:   bridge window [mem 0xd4000000-0xd40fffff]
[    1.156064] pci 0000:00:01.0: setting latency timer to 64
[    1.156070] pci 0000:00:1c.0: enabling device (0000 -> 0002)
[    1.156080] pci 0000:00:1c.0: setting latency timer to 64
[    1.156086] pci 0000:00:1c.1: enabling device (0000 -> 0003)
[    1.156093] pci 0000:00:1c.1: setting latency timer to 64
[    1.156105] pci 0000:00:1c.2: setting latency timer to 64
[    1.156116] pci 0000:00:1c.3: setting latency timer to 64
[    1.156120] pci_bus 0000:00: resource 4 [io  0x0000-0x0cf7]
[    1.156121] pci_bus 0000:00: resource 5 [io  0x0d00-0xffff]
[    1.156123] pci_bus 0000:00: resource 6 [mem 0x000a0000-0x000bffff]
[    1.156125] pci_bus 0000:00: resource 7 [mem 0xc0000000-0xdfffffff]
[    1.156126] pci_bus 0000:00: resource 8 [mem 0xf0000000-0xfedfffff]
[    1.156128] pci_bus 0000:00: resource 9 [mem 0xfee01000-0xffffffff]
[    1.156130] pci_bus 0000:01: resource 0 [io  0x4000-0x4fff]
[    1.156131] pci_bus 0000:01: resource 1 [mem 0xd4300000-0xd43fffff]
[    1.156133] pci_bus 0000:01: resource 2 [mem 0xc0000000-0xcfffffff 64bit 
pref]
[    1.156135] pci_bus 0000:02: resource 1 [mem 0xd4200000-0xd42fffff]
[    1.156136] pci_bus 0000:03: resource 0 [io  0x2000-0x3fff]
[    1.156138] pci_bus 0000:03: resource 1 [mem 0xd0000000-0xd3ffffff]
[    1.156140] pci_bus 0000:03: resource 2 [mem 0xd4600000-0xd47fffff 64bit 
pref]
[    1.156141] pci_bus 0000:24: resource 1 [mem 0xd4100000-0xd41fffff]
[    1.156143] pci_bus 0000:24: resource 2 [mem 0xd4500000-0xd45fffff pref]
[    1.156145] pci_bus 0000:25: resource 1 [mem 0xd4000000-0xd40fffff]
[    1.156210] NET: Registered protocol family 2
[    1.156315] IP route cache hash table entries: 131072 (order: 8, 1048576 
bytes)
[    1.156938] TCP established hash table entries: 524288 (order: 11, 8388608 
bytes)
[    1.158398] TCP bind hash table entries: 65536 (order: 8, 1048576 bytes)
[    1.158581] TCP: Hash tables configured (established 524288 bind 65536)
[    1.158583] TCP reno registered
[    1.158591] UDP hash table entries: 2048 (order: 4, 65536 bytes)
[    1.158608] UDP-Lite hash table entries: 2048 (order: 4, 65536 bytes)
[    1.158709] NET: Registered protocol family 1
[    1.158727] pci 0000:00:14.0: enabling device (0000 -> 0002)
[    1.158732] pci 0000:00:14.0: can't derive routing for PCI INT A
[    1.158733] pci 0000:00:14.0: PCI INT A: no GSI
[    1.158777] pci 0000:00:14.0: can't derive routing for PCI INT A
[    1.158794] pci 0000:00:1a.0: enabling device (0000 -> 0002)
[    1.158838] pci 0000:00:1d.0: enabling device (0000 -> 0002)
[    1.158868] pci 0000:01:00.0: Boot video device
[    1.158888] PCI: CLS 64 bytes, default 64
[    1.158923] Unpacking initramfs...
[    1.358183] Freeing initrd memory: 11568k freed
[    1.359422] PCI-DMA: Using software bounce buffering for IO (SWIOTLB)
[    1.359426] Placing 64MB software IO TLB between ffff8800b2cf4000 - 
ffff8800b6cf4000
[    1.359427] software IO TLB at phys 0xb2cf4000 - 0xb6cf4000
[    1.359862] audit: initializing netlink socket (disabled)
[    1.359874] type=2000 audit(1364355444.156:1): initialized
[    1.372004] HugeTLB registered 2 MB page size, pre-allocated 0 pages
[    1.372472] VFS: Disk quotas dquot_6.5.2
[    1.372496] Dquot-cache hash table entries: 512 (order 0, 4096 bytes)
[    1.372549] msgmni has been set to 7797
[    1.372679] alg: No test for stdrng (krng)
[    1.372705] Block layer SCSI generic (bsg) driver version 0.4 loaded (major 
253)
[    1.372708] io scheduler noop registered
[    1.372709] io scheduler deadline registered
[    1.372729] io scheduler cfq registered (default)
[    1.372793] pcieport 0000:00:01.0: setting latency timer to 64
[    1.372817] pcieport 0000:00:01.0: irq 41 for MSI/MSI-X
[    1.372868] pcieport 0000:00:1c.0: setting latency timer to 64
[    1.372908] pcieport 0000:00:1c.0: irq 42 for MSI/MSI-X
[    1.372973] pcieport 0000:00:1c.1: setting latency timer to 64
[    1.373012] pcieport 0000:00:1c.1: irq 43 for MSI/MSI-X
[    1.373085] pcieport 0000:00:1c.2: setting latency timer to 64
[    1.373124] pcieport 0000:00:1c.2: irq 44 for MSI/MSI-X
[    1.373187] pcieport 0000:00:1c.3: setting latency timer to 64
[    1.373226] pcieport 0000:00:1c.3: irq 45 for MSI/MSI-X
[    1.373302] pcieport 0000:00:01.0: Signaling PME through PCIe PME interrupt
[    1.373304] pci 0000:01:00.0: Signaling PME through PCIe PME interrupt
[    1.373306] pci 0000:01:00.1: Signaling PME through PCIe PME interrupt
[    1.373308] pcie_pme 0000:00:01.0:pcie01: service driver pcie_pme loaded
[    1.373321] pcieport 0000:00:1c.0: Signaling PME through PCIe PME interrupt
[    1.373325] pcie_pme 0000:00:1c.0:pcie01: service driver pcie_pme loaded
[    1.373339] pcieport 0000:00:1c.1: Signaling PME through PCIe PME interrupt
[    1.373343] pcie_pme 0000:00:1c.1:pcie01: service driver pcie_pme loaded
[    1.373356] pcieport 0000:00:1c.2: Signaling PME through PCIe PME interrupt
[    1.373357] pci 0000:24:00.0: Signaling PME through PCIe PME interrupt
[    1.373359] pci 0000:24:00.1: Signaling PME through PCIe PME interrupt
[    1.373360] pci 0000:24:00.2: Signaling PME through PCIe PME interrupt
[    1.373365] pcie_pme 0000:00:1c.2:pcie01: service driver pcie_pme loaded
[    1.373377] pcieport 0000:00:1c.3: Signaling PME through PCIe PME interrupt
[    1.373379] pci 0000:25:00.0: Signaling PME through PCIe PME interrupt
[    1.373383] pcie_pme 0000:00:1c.3:pcie01: service driver pcie_pme loaded
[    1.373395] pci_hotplug: PCI Hot Plug PCI Core version: 0.5
[    1.373443] pciehp 0000:00:1c.1:pcie04: HPC vendor_id 8086 device_id 1e12 
ss_vid 103c ss_did 17a7
[    1.373462] pciehp 0000:00:1c.1:pcie04: service driver pciehp loaded
[    1.373467] pciehp: PCI Express Hot Plug Controller Driver version: 0.4
[    1.373468] acpiphp: ACPI Hot Plug PCI Controller Driver version: 0.5
[    1.373860] efifb: probing for efifb
[    1.374113] efifb: framebuffer at 0xc0000000, mapped to 0xffffc90011180000, 
using 3072k, total 3072k
[    1.374115] efifb: mode is 1024x768x32, linelength=4096, pages=1
[    1.374116] efifb: scrolling: redraw
[    1.374118] efifb: Truecolor: size=8:8:8:8, shift=24:16:8:0
[    1.376685] Console: switching to colour frame buffer device 128x48
[    1.379201] fb0: EFI VGA frame buffer device
[    1.379207] intel_idle: MWAIT substates: 0x21120
[    1.379208] intel_idle: v0.4 model 0x3A
[    1.379209] intel_idle: lapic_timer_reliable_states 0xffffffff
[    1.379238] ERST: Table is not found!
[    1.379239] GHES: HEST is not enabled!
[    1.379280] Serial: 8250/16550 driver, 4 ports, IRQ sharing enabled
[    1.529539] serial 00:09: [io  0x03f8-0x03ff]
[    1.529600] serial 00:09: [irq 4]
[    1.530282] serial 00:09: activated
[    1.550954] 00:09: ttyS0 at I/O 0x3f8 (irq = 4) is a 16550A
[    1.577367] serial 0000:00:16.3: enabling device (0000 -> 0003)
[    1.597577] 0000:00:16.3: ttyS1 at I/O 0x5050 (irq = 17) is a 16550A
[    1.597795] Linux agpgart interface v0.103
[    1.597949] i8042: PNP: PS/2 Controller [PNP0303:PS2K,PNP0f13:PS2M] at 
0x60,0x64 irq 1,12
[    1.599834] i8042: Detected active multiplexing controller, rev 1.1
[    1.600646] serio: i8042 KBD port at 0x60,0x64 irq 1
[    1.600651] serio: i8042 AUX0 port at 0x60,0x64 irq 12
[    1.600672] serio: i8042 AUX1 port at 0x60,0x64 irq 12
[    1.600689] serio: i8042 AUX2 port at 0x60,0x64 irq 12
[    1.600708] serio: i8042 AUX3 port at 0x60,0x64 irq 12
[    1.600804] mousedev: PS/2 mouse device common for all mice
[    1.600839] rtc_cmos 00:08: RTC can wake from S4
[    1.600937] rtc_cmos 00:08: rtc core: registered rtc_cmos as rtc0
[    1.600964] rtc0: alarms up to one month, y3k, 242 bytes nvram, hpet irqs
[    1.601028] cpuidle: using governor ladder
[    1.601107] cpuidle: using governor menu
[    1.601247] TCP cubic registered
[    1.601367] NET: Registered protocol family 10
[    1.601754] Mobile IPv6
[    1.601756] NET: Registered protocol family 17
[    1.601759] Registering the dns_resolver key type
[    1.601881] PM: Hibernation image not present or could not be loaded.
[    1.601890] registered taskstats version 1
[    1.602375] rtc_cmos 00:08: setting system clock to 2013-03-27 03:37:25 UTC 
(1364355445)
[    1.602403] Initializing network drop monitor service
[    1.603251] Freeing unused kernel memory: 576k freed
[    1.603309] Write protecting the kernel read-only data: 6144k
[    1.605118] Freeing unused kernel memory: 660k freed
[    1.606954] Freeing unused kernel memory: 680k freed
[    1.622636] input: AT Translated Set 2 keyboard as 
/devices/platform/i8042/serio0/input/input0
[    1.656894] udevd[60]: starting version 175
[    1.668511] usbcore: registered new interface driver usbfs
[    1.668538] usbcore: registered new interface driver hub
[    1.675794] sdhci: Secure Digital Host Controller Interface driver
[    1.675797] sdhci: Copyright(c) Pierre Ossman
[    1.676142] sdhci-pci 0000:24:00.1: SDHCI controller found [197b:2392] (rev 
30)
[    1.676158] sdhci-pci 0000:24:00.1: enabling device (0000 -> 0002)
[    1.676209] sdhci-pci 0000:24:00.1: setting latency timer to 64
[    1.676234] mmc0: no vmmc regulator found
[    1.676267] Registered led device: mmc0::
[    1.676496] usbcore: registered new device driver usb
[    1.676855] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver
[    1.676894] ehci_hcd 0000:00:1a.0: setting latency timer to 64
[    1.676898] ehci_hcd 0000:00:1a.0: EHCI Host Controller
[    1.676921] ehci_hcd 0000:00:1a.0: new USB bus registered, assigned bus 
number 1
[    1.676952] ehci_hcd 0000:00:1a.0: debug port 2
[    1.679657] e1000e: Intel(R) PRO/1000 Network Driver - 1.5.1-k
[    1.679660] e1000e: Copyright(c) 1999 - 2011 Intel Corporation.
[    1.680834] ehci_hcd 0000:00:1a.0: cache line size of 64 is not supported
[    1.680969] ehci_hcd 0000:00:1a.0: irq 16, io mem 0xd4439000
[    1.688285] SCSI subsystem initialized
[    1.692955] mmc0: SDHCI controller on PCI [0000:24:00.1] using DMA
[    1.692977] sdhci-pci 0000:24:00.2: SDHCI controller found [197b:2391] (rev 
30)
[    1.693001] sdhci-pci 0000:24:00.2: Refusing to bind to secondary interface.
[    1.695182] firewire_ohci 0000:24:00.0: setting latency timer to 64
[    1.697256] ehci_hcd 0000:00:1a.0: USB 2.0 started, EHCI 1.00
[    1.697287] usb usb1: New USB device found, idVendor=1d6b, idProduct=0002
[    1.697290] usb usb1: New USB device strings: Mfr=3, Product=2, 
SerialNumber=1
[    1.697293] usb usb1: Product: EHCI Host Controller
[    1.697295] usb usb1: Manufacturer: Linux 3.2.0-4-amd64 ehci_hcd
[    1.697297] usb usb1: SerialNumber: 0000:00:1a.0
[    1.697431] hub 1-0:1.0: USB hub found
[    1.697436] hub 1-0:1.0: 3 ports detected
[    1.697546] ehci_hcd 0000:00:1d.0: setting latency timer to 64
[    1.697551] ehci_hcd 0000:00:1d.0: EHCI Host Controller
[    1.697562] ehci_hcd 0000:00:1d.0: new USB bus registered, assigned bus 
number 2
[    1.697590] ehci_hcd 0000:00:1d.0: debug port 2
[    1.697679] libata version 3.00 loaded.
[    1.701488] ehci_hcd 0000:00:1d.0: cache line size of 64 is not supported
[    1.701509] ehci_hcd 0000:00:1d.0: irq 16, io mem 0xd4438000
[    1.707591] alg: No test for __gcm-aes-aesni (__driver-gcm-aes-aesni)
[    1.709598] thermal LNXTHERM:00: registered as thermal_zone0
[    1.709602] ACPI: Thermal Zone [CPUZ] (46 C)
[    1.717034] ehci_hcd 0000:00:1d.0: USB 2.0 started, EHCI 1.00
[    1.717055] usb usb2: New USB device found, idVendor=1d6b, idProduct=0002
[    1.717057] usb usb2: New USB device strings: Mfr=3, Product=2, 
SerialNumber=1
[    1.717059] usb usb2: Product: EHCI Host Controller
[    1.717060] usb usb2: Manufacturer: Linux 3.2.0-4-amd64 ehci_hcd
[    1.717062] usb usb2: SerialNumber: 0000:00:1d.0
[    1.717164] hub 2-0:1.0: USB hub found
[    1.717168] hub 2-0:1.0: 3 ports detected
[    1.717242] xhci_hcd 0000:00:14.0: can't derive routing for PCI INT A
[    1.717245] xhci_hcd 0000:00:14.0: PCI INT A: no GSI
[    1.717280] xhci_hcd 0000:00:14.0: setting latency timer to 64
[    1.717284] xhci_hcd 0000:00:14.0: xHCI Host Controller
[    1.717294] xhci_hcd 0000:00:14.0: new USB bus registered, assigned bus 
number 3
[    1.717395] xhci_hcd 0000:00:14.0: cache line size of 64 is not supported
[    1.717398] xhci_hcd 0000:00:14.0: request interrupt 255 failed
[    1.717442] xhci_hcd 0000:00:14.0: USB bus 3 deregistered
[    1.717466] xhci_hcd 0000:00:14.0: can't derive routing for PCI INT A
[    1.717468] xhci_hcd 0000:00:14.0: init 0000:00:14.0 fail, -22
[    1.717503] xhci_hcd: probe of 0000:00:14.0 failed with error -22
[    1.717546] e1000e 0000:00:19.0: setting latency timer to 64
[    1.717646] e1000e 0000:00:19.0: irq 46 for MSI/MSI-X
[    1.728544] thermal LNXTHERM:01: registered as thermal_zone1
[    1.728547] ACPI: Thermal Zone [GFXZ] (40 C)
[    1.738631] thermal LNXTHERM:02: registered as thermal_zone2
[    1.738634] ACPI: Thermal Zone [EXTZ] (29 C)
[    1.748618] thermal LNXTHERM:03: registered as thermal_zone3
[    1.748621] ACPI: Thermal Zone [LOCZ] (33 C)
[    1.757042] firewire_ohci: Added fw-ohci device 0000:24:00.0, OHCI v1.10, 4 
IR + 4 IT contexts, quirks 0x10
[    1.758555] thermal LNXTHERM:04: registered as thermal_zone4
[    1.758557] ACPI: Thermal Zone [BATZ] (22 C)
[    1.758844] thermal LNXTHERM:05: registered as thermal_zone5
[    1.758846] ACPI: Thermal Zone [PCHZ] (127 C)
[    1.758954] thermal LNXTHERM:06: registered as thermal_zone6
[    1.758956] ACPI: Thermal Zone [DM1Z] (0 C)
[    1.759057] thermal LNXTHERM:07: registered as thermal_zone7
[    1.759059] ACPI: Thermal Zone [DM2Z] (0 C)
[    1.916860] e1000e 0000:00:19.0: eth0: (PCI Express:2.5GT/s:Width x1) 
__:__:__:__:__:__
[    1.916863] e1000e 0000:00:19.0: eth0: Intel(R) PRO/1000 Network Connection
[    1.916914] e1000e 0000:00:19.0: eth0: MAC: 10, PHY: 11, PBA No: FFFFFF-0FF
[    1.916939] ahci 0000:00:1f.2: version 3.0
[    1.917009] ahci 0000:00:1f.2: irq 47 for MSI/MSI-X
[    1.917039] ahci: SSS flag set, parallel bus scan disabled
[    1.932709] ahci 0000:00:1f.2: AHCI 0001.0300 32 slots 6 ports 6 Gbps 0x3b 
impl SATA mode
[    1.932713] ahci 0000:00:1f.2: flags: 64bit ncq stag pm led clo pio slum 
part ems sxs apst 
[    1.932717] ahci 0000:00:1f.2: setting latency timer to 64
[    1.965161] scsi0 : ahci
[    1.965292] scsi1 : ahci
[    1.965367] scsi2 : ahci
[    1.965431] scsi3 : ahci
[    1.965489] scsi4 : ahci
[    1.965552] scsi5 : ahci
[    1.965751] ata1: SATA max UDMA/133 abar m2048@0xd4437000 port 0xd4437100 
irq 47
[    1.965755] ata2: SATA max UDMA/133 abar m2048@0xd4437000 port 0xd4437180 
irq 47
[    1.965756] ata3: DUMMY
[    1.965759] ata4: SATA max UDMA/133 abar m2048@0xd4437000 port 0xd4437280 
irq 47
[    1.965762] ata5: SATA max UDMA/133 abar m2048@0xd4437000 port 0xd4437300 
irq 47
[    1.965765] ata6: SATA max UDMA/133 abar m2048@0xd4437000 port 0xd4437380 
irq 47
[    2.008544] usb 1-1: new high-speed USB device number 2 using ehci_hcd
[    2.140712] usb 1-1: New USB device found, idVendor=8087, idProduct=0024
[    2.140716] usb 1-1: New USB device strings: Mfr=0, Product=0, SerialNumber=0
[    2.141004] hub 1-1:1.0: USB hub found
[    2.141170] hub 1-1:1.0: 6 ports detected
[    2.252095] usb 2-1: new high-speed USB device number 2 using ehci_hcd
[    2.256198] firewire_core: created device fw0: GUID ffe473fffffffffe, S400
[    2.284032] ata1: SATA link up 3.0 Gbps (SStatus 123 SControl 300)
[    2.355880] Refined TSC clocksource calibration: 2594.108 MHz.
[    2.355884] Switching to clocksource tsc
[    2.384364] usb 2-1: New USB device found, idVendor=8087, idProduct=0024
[    2.384377] usb 2-1: New USB device strings: Mfr=0, Product=0, SerialNumber=0
[    2.384659] hub 2-1:1.0: USB hub found
[    2.384830] hub 2-1:1.0: 8 ports detected

Reply via email to