ii  xen-hypervisor-4.0-amd64                   4.0.1-2      
                        The Xen Hypervisor on AMD64
      I am trying to install xen on a brand new IBM x3550 M3 (got
        no issue on older hardware) :
      I can see several errors in boot log, but I don't know which
        ones are the most relevant : 
      
        (XEN) Xen version 4.0.1 (Debian 4.0.1-2) (
waldi@xxxxxxxxxx)
          (gcc version 4.4.5 (Debian 4.4.5-10) ) Wed Jan 12 14:04:06 UTC
          2011
 
        (XEN) Bootloader: GRUB 1.98+20100804-14
        (XEN) Command line: placeholder dom0_mem=2048M
          console=vga,com1 com1=19200,8n1 loglvl=all guest_loglvl=all
          dom0_max_vcpus=1 dom0_vcpus_pin
        (XEN) Video information:
        (XEN)  VGA is text mode 80x25, font 8x16
        (XEN)  VBE/DDC methods: none; EDID transfer time: 0 seconds
        (XEN)  EDID info not retrieved because no DDC retrieval
          method detected
        (XEN) Disc information:
        (XEN)  Found 2 MBR signatures
        (XEN)  Found 2 EDD information structures
        (XEN) Xen-e820 RAM map:
        (XEN)  0000000000000000 - 000000000009c000 (usable)
        (XEN)  000000000009c000 - 00000000000a0000 (reserved)
        (XEN)  00000000000e0000 - 0000000000100000 (reserved)
        (XEN)  0000000000100000 - 000000007cc70000 (usable)
        (XEN)  000000007cc70000 - 000000007cd34000 (reserved)
        (XEN)  000000007cd34000 - 000000007d641000 (usable)
        (XEN)  000000007d641000 - 000000007d6f1000 (reserved)
        (XEN)  000000007d6f1000 - 000000007f68f000 (usable)
        (XEN)  000000007f68f000 - 000000007f6df000 (reserved)
        (XEN)  000000007f6df000 - 000000007f7df000 (ACPI NVS)
        (XEN)  000000007f7df000 - 000000007f7ff000 (ACPI data)
        (XEN)  000000007f7ff000 - 000000007f800000 (usable)
        (XEN)  000000007f800000 - 0000000090000000 (reserved)
        (XEN)  00000000fc000000 - 00000000fd000000 (reserved)
        (XEN)  00000000fed1c000 - 00000000fed20000 (reserved)
        (XEN)  00000000ff800000 - 0000000100000000 (reserved)
        (XEN)  0000000100000000 - 0000000680000000 (usable)
        (XEN) ACPI: RSDP 000FDFD0, 0024 (r2 IBM   )
        (XEN) ACPI: XSDT 7F7FE120, 0084 (r1 IBM    THURLEY        
          0       1000013)
        (XEN) ACPI: FACP 7F7FB000, 00F4 (r4 IBM    THURLEY        
          0 IBM   1000013)
        (XEN) ACPI: DSDT 7F7F8000, 2C3E (r1 IBM    THURLEY        
          3 IBM   1000013)
        (XEN) ACPI: FACS 7F6EC000, 0040
        (XEN) ACPI: TCPA 7F7FD000, 0064 (r0                      
           0             0)
        (XEN) ACPI: APIC 7F7F7000, 011E (r2 IBM    THURLEY        
          0 IBM   1000013)
        (XEN) ACPI: MCFG 7F7F6000, 003C (r1 IBM    THURLEY        
          1 IBM   1000013)
        (XEN) ACPI: SLIC 7F7F5000, 0176 (r1 IBM    THURLEY        
          0 IBM   1000013)
        (XEN) ACPI: HPET 7F7F4000, 0038 (r1 IBM    THURLEY        
          1 IBM   1000013)
        (XEN) ACPI: SRAT 7F7F3000, 0228 (r2 IBM    THURLEY        
          1 IBM   1000013)
        (XEN) ACPI: SLIT 7F7F2000, 0030 (r1 IBM    THURLEY        
          0 IBM   1000013)
        (XEN) ACPI: SSDT 7F7F1000, 0183 (r2 IBM    CPUSCOPE    
          4000 IBM   1000013)
        (XEN) ACPI: SSDT 7F7F0000, 0699 (r2 IBM    CPUWYVRN    
          4000 IBM   1000013)
        (XEN) ACPI: SSDT 7F7E9000, 638C (r2 IBM    PSTATEPM    
          4000 IBM   1000013)
        (XEN) ACPI: ERST 7F7E8000, 0230 (r1 IBM    THURLEY        
          1 IBM   1000013)
        (XEN) System RAM: 24564MB (25154272kB)
        (XEN) SRAT: PXM 0 -> APIC 0 -> Node 0
        (XEN) SRAT: PXM 0 -> APIC 2 -> Node 0
        (XEN) SRAT: PXM 0 -> APIC 4 -> Node 0
        (XEN) SRAT: PXM 0 -> APIC 16 -> Node 0
        
          (XEN) SRAT: PXM 0 -> APIC 18 -> Node 0
        (XEN) SRAT: PXM 0 -> APIC 20 -> Node 0
        (XEN) SRAT: PXM 1 -> APIC 32 -> Node 1
        (XEN) SRAT: PXM 1 -> APIC 34 -> Node 1
        (XEN) SRAT: PXM 1 -> APIC 36 -> Node 1
        (XEN) SRAT: PXM 1 -> APIC 48 -> Node 1
        (XEN) SRAT: PXM 1 -> APIC 50 -> Node 1
        (XEN) SRAT: PXM 1 -> APIC 52 -> Node 1
        (XEN) SRAT: PXM 0 -> APIC 1 -> Node 0
        
          (XEN) SRAT: PXM 0 -> APIC 3 -> Node 0
        (XEN) SRAT: PXM 0 -> APIC 5 -> Node 0
        (XEN) SRAT: PXM 0 -> APIC 17 -> Node 0
        (XEN) SRAT: PXM 0 -> APIC 19 -> Node 0
        (XEN) SRAT: PXM 0 -> APIC 21 -> Node 0
        (XEN) SRAT: PXM 1 -> APIC 33 -> Node 1
        (XEN) SRAT: PXM 1 -> APIC 35 -> Node 1
        (XEN) SRAT: PXM 1 -> APIC 37 -> Node 1
        (XEN) SRAT: PXM 1 -> APIC 49 -> Node 1
        
          (XEN) SRAT: PXM 1 -> APIC 51 -> Node 1
        (XEN) SRAT: PXM 1 -> APIC 53 -> Node 1
        (XEN) SRAT: Node 0 PXM 0 0-80000000
        (XEN) SRAT: Node 0 PXM 0 100000000-380000000
        (XEN) SRAT: Node 1 PXM 1 380000000-680000000
        (XEN) NUMA: Using 19 for the hash shift.
        (XEN) Domain heap initialised DMA width 31 bits
        (XEN) found SMP MP-table at 0009c140
        (XEN) DMI 2.5 present.
        (XEN) Using APIC driver default
        (XEN) ACPI: PM-Timer IO Port: 0x588
        (XEN) ACPI: ACPI SLEEP INFO: pm1x_cnt[584,0],
          pm1x_evt[580,0]
        (XEN) ACPI:                  wakeup_vec[7f6ec00c],
          vec_size[20]
        (XEN) ACPI: Local APIC address 0xfee00000
        (XEN) ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00] enabled)
        (XEN) Processor #0 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x01] lapic_id[0x02] enabled)
        (XEN) Processor #2 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x02] lapic_id[0x04] enabled)
        (XEN) Processor #4 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x03] lapic_id[0x10] enabled)
        (XEN) Processor #16 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x04] lapic_id[0x12] enabled)
        (XEN) Processor #18 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x05] lapic_id[0x14] enabled)
        (XEN) Processor #20 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x06] lapic_id[0x20] enabled)
        (XEN) Processor #32 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x07] lapic_id[0x22] enabled)
        (XEN) Processor #34 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x08] lapic_id[0x24] enabled)
        (XEN) Processor #36 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x09] lapic_id[0x30] enabled)
        (XEN) Processor #48 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x0a] lapic_id[0x32] enabled)
        (XEN) Processor #50 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x0b] lapic_id[0x34] enabled)
        (XEN) Processor #52 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x0c] lapic_id[0x01] enabled)
        (XEN) Processor #1 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x0d] lapic_id[0x03] enabled)
        (XEN) Processor #3 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x0e] lapic_id[0x05] enabled)
        (XEN) Processor #5 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x0f] lapic_id[0x11] enabled)
        (XEN) Processor #17 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x10] lapic_id[0x13] enabled)
        (XEN) Processor #19 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x11] lapic_id[0x15] enabled)
        (XEN) Processor #21 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x12] lapic_id[0x21] enabled)
        (XEN) Processor #33 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x13] lapic_id[0x23] enabled)
        (XEN) Processor #35 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x14] lapic_id[0x25] enabled)
        (XEN) Processor #37 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x15] lapic_id[0x31] enabled)
        (XEN) Processor #49 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x16] lapic_id[0x33] enabled)
        (XEN) Processor #51 6:12 APIC version 21
        (XEN) ACPI: LAPIC (acpi_id[0x17] lapic_id[0x35] enabled)
        (XEN) Processor #53 6:12 APIC version 21
        (XEN) ACPI: LAPIC_NMI (acpi_id[0xff] dfl dfl lint[0x1])
        (XEN) Overriding APIC driver with bigsmp
        (XEN) ACPI: IOAPIC (id[0x08] address[0xfec00000]
          gsi_base[0])
        (XEN) IOAPIC[0]: apic_id 8, version 32, address 0xfec00000,
          GSI 0-23
        (XEN) ACPI: IOAPIC (id[0x09] address[0xfec80000]
          gsi_base[24])
        (XEN) IOAPIC[1]: apic_id 9, version 32, address 0xfec80000,
          GSI 24-47
        (XEN) ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 dfl
          dfl)
        (XEN) ACPI: INT_SRC_OVR (bus 0 bus_irq 9 global_irq 9 high
          level)
        (XEN) ACPI: IRQ0 used by override.
        (XEN) ACPI: IRQ2 used by override.
        (XEN) ACPI: IRQ9 used by override.
        (XEN) Enabling APIC mode:  Phys.  Using 2 I/O APICs
        (XEN) ACPI: HPET id: 0x8086a301 base: 0xfed00000
        (XEN) PCI: MCFG configuration 0: base 80000000 segment 0
          buses 0 - 255
        (XEN) PCI: MCFG area at 80000000 reserved in E820
        (XEN) Using ACPI (MADT) for SMP configuration information
        (XEN) Using scheduler: SMP Credit Scheduler (credit)
        (XEN) Detected 3066.812 MHz processor.
        (XEN) Initing memory sharing.
        (XEN) VMX: Supported advanced features:
        (XEN)  - APIC MMIO access virtualisation
        (XEN)  - APIC TPR shadow
        (XEN)  - Extended Page Tables (EPT)
        (XEN)  - Virtual-Processor Identifiers (VPID)
        (XEN)  - Virtual NMI
        (XEN)  - MSR direct-access bitmap
        (XEN)  - Unrestricted Guest
        (XEN) EPT supports 2MB super page.
        (XEN) HVM: ASIDs enabled.
        (XEN) HVM: VMX enabled
        (XEN) HVM: Hardware Assisted Paging detected.
        (XEN) Intel machine check reporting enabled
        (XEN) I/O virtualisation disabled
        (XEN) Enabled directed EOI with ioapic_ack_old on!
        (XEN) Total of 24 processors activated.
        (XEN) ENABLING IO-APIC IRQs
        (XEN)  -> Using old ACK method
        (XEN) ..TIMER: vector=0xF0 apic1=0 pin1=2 apic2=-1 pin2=-1
        (XEN) TSC is reliable, synchronization unnecessary
        (XEN) Platform timer is 14.318MHz HPET
        �(XEN) Allocated console ring of 256 KiB.
        (XEN) microcode.c:73:d32767 microcode: CPU1 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU15 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU10 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU22 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU2 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU3 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU14 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU13 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU5 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU17 resumed
        (XEN) Brought up 24 CPUs
        (XEN) microcode.c:73:d32767 microcode: CPU12 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU19 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU7 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU4 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU16 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU21 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU11 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU9 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU8 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU23 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU18 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU20 resumed
        (XEN) microcode.c:73:d32767 microcode: CPU6 resumed
        (XEN) ACPI sleep modes: S3
        (XEN) mcheck_poll: Machine check polling timer started.
        (XEN) *** LOADING DOMAIN 0 ***
        (XEN)  Xen  kernel: 64-bit, lsb, compat32
        (XEN)  Dom0 kernel: 64-bit, PAE, lsb, paddr 0x1000000 ->
          0x16b9000
        (XEN) PHYSICAL MEMORY ARRANGEMENT:
        (XEN)  Dom0 alloc.:   0000000238000000->000000023c000000
          (507904 pages to be allocated)
        (XEN) VIRTUAL MEMORY ARRANGEMENT:
        (XEN)  Loaded kernel: ffffffff81000000->ffffffff816b9000
        (XEN)  Init. ramdisk: ffffffff816b9000->ffffffff832e8600
        (XEN)  Phys-Mach map: ffffffff832e9000->ffffffff836e9000
        (XEN)  Start info:    ffffffff836e9000->ffffffff836e94b4
        (XEN)  Page tables:   ffffffff836ea000->ffffffff83709000
        (XEN)  Boot stack:    ffffffff83709000->ffffffff8370a000
        (XEN)  TOTAL:         ffffffff80000000->ffffffff83800000
        (XEN)  ENTRY ADDRESS: ffffffff81508200
        (XEN) Dom0 has maximum 1 VCPUs
        (XEN) Scrubbing Free RAM:
.............................................................................................................................................................................................................................done.
        (XEN) trace.c:89:d32767 calc_tinfo_first_offset: NR_CPUs
          128, offset_in_bytes 258, t_info_first_offset 65
        (XEN) Xen trace buffers: disabled
        (XEN) Std. Loglevel: All
        (XEN) Guest Loglevel: All
        (XEN) Xen is relinquishing VGA console.
        (XEN) *** Serial input -> DOM0 (type 'CTRL-a' three
          times to switch input to Xen)
        (XEN) Freed 176kB init memory.
        mapping kernel into physical memory
        Xen: setup ISA identity maps
        about to get started...
        [    0.000000] Initializing cgroup subsys cpuset
        [    0.000000] Initializing cgroup subsys cpu
        [    0.000000] Linux version 2.6.32-5-xen-amd64 (Debian
          2.6.32-38) (
ben@xxxxxxxxxxxxxxx)
          (gcc version 4.3.5 (Debian 4.3.5-4) ) #1 SMP Mon Oct 3
          07:53:54 UTC 2011
 
        [    0.000000] Command line: placeholder
          root=/dev/mapper/vg02-root ro console=tty0 console=hvc0
        [    0.000000] KERNEL supported cpus:
        [    0.000000]   Intel GenuineIntel
        [    0.000000]   AMD AuthenticAMD
        [    0.000000]   Centaur CentaurHauls
        [    0.000000] released 0 pages of unused memory
        [    0.000000] BIOS-provided physical RAM map:
        [    0.000000]  Xen: 0000000000000000 - 000000000009c000
          (usable)
        [    0.000000]  Xen: 000000000009c000 - 0000000000100000
          (reserved)
        [    0.000000]  Xen: 0000000000100000 - 000000007cc70000
          (usable)
        [    0.000000]  Xen: 000000007cc70000 - 000000007cd34000
          (reserved)
        [    0.000000]  Xen: 000000007cd34000 - 000000007d641000
          (usable)
        [    0.000000]  Xen: 000000007d641000 - 000000007d6f1000
          (reserved)
        [    0.000000]  Xen: 000000007d6f1000 - 000000007f68f000
          (usable)
        [    0.000000]  Xen: 000000007f68f000 - 000000007f6df000
          (reserved)
        [    0.000000]  Xen: 000000007f6df000 - 000000007f7df000
          (ACPI NVS)
        [    0.000000]  Xen: 000000007f7df000 - 000000007f7ff000
          (ACPI data)
        [    0.000000]  Xen: 000000007f7ff000 - 000000007f800000
          (usable)
        [    0.000000]  Xen: 000000007f800000 - 0000000090000000
          (reserved)
        [    0.000000]  Xen: 00000000fc000000 - 00000000fd000000
          (reserved)
        [    0.000000]  Xen: 00000000fec00000 - 00000000fec01000
          (reserved)
        [    0.000000]  Xen: 00000000fec80000 - 00000000fec81000
          (reserved)
        [    0.000000]  Xen: 00000000fed1c000 - 00000000fed20000
          (reserved)
        [    0.000000]  Xen: 00000000fee00000 - 00000000fee01000
          (reserved)
        [    0.000000]  Xen: 00000000ff800000 - 0000000100000000
          (reserved)
        [    0.000000] DMI 2.5 present.
        [    0.000000] last_pfn = 0x7f800 max_arch_pfn =
          0x400000000
        [    0.000000] x86 PAT enabled: cpu 0, old 0x50100070406,
          new 0x7010600070106
        [    0.000000] init_memory_mapping:
          0000000000000000-000000007f800000
        [    0.000000] RAMDISK: 016b9000 - 032e8600
        [    0.000000] ACPI: RSDP 00000000000fdfd0 00024 (v02 IBM  
          )
        [    0.000000] ACPI: XSDT 000000007f7fe120 00084 (v01 IBM  
           THURLEY  00000000      01000013)
        [    0.000000] ACPI: FACP 000000007f7fb000 000F4 (v04 IBM  
           THURLEY  00000000 IBM  01000013)
        [    0.000000] ACPI Warning: Invalid length for
          Pm1aControlBlock: 32, using default 16 (20090903/tbfadt-607)
        [    0.000000] ACPI: DSDT 000000007f7f8000 02C3E (v01 IBM  
           THURLEY  00000003 IBM  01000013)
        [    0.000000] ACPI: FACS 000000007f6ec000 00040
        [    0.000000] ACPI: TCPA 000000007f7fd000 00064 (v00      
                    00000000      00000000)
        [    0.000000] ACPI: APIC 000000007f7f7000 0011E (v02 IBM  
           THURLEY  00000000 IBM  01000013)
        [    0.000000] ACPI: MCFG 000000007f7f6000 0003C (v01 IBM  
           THURLEY  00000001 IBM  01000013)
        [    0.000000] ACPI: SLIC 000000007f7f5000 00176 (v01 IBM  
           THURLEY  00000000 IBM  01000013)
        [    0.000000] ACPI: HPET 000000007f7f4000 00038 (v01 IBM  
           THURLEY  00000001 IBM  01000013)
        [    0.000000] ACPI: SRAT 000000007f7f3000 00228 (v02 IBM  
           THURLEY  00000001 IBM  01000013)
        [    0.000000] ACPI: SLIT 000000007f7f2000 00030 (v01 IBM  
           THURLEY  00000000 IBM  01000013)
        [    0.000000] ACPI: SSDT 000000007f7f1000 00183 (v02 IBM  
           CPUSCOPE 00004000 IBM  01000013)
        [    0.000000] ACPI: SSDT 000000007f7f0000 00699 (v02 IBM  
           CPUWYVRN 00004000 IBM  01000013)
        [    0.000000] ACPI: SSDT 000000007f7e9000 0638C (v02 IBM  
           PSTATEPM 00004000 IBM  01000013)
        [    0.000000] ACPI: ERST 000000007f7e8000 00230 (v01 IBM  
           THURLEY  00000001 IBM  01000013)
        [    0.000000] No NUMA configuration found
        [    0.000000] Faking a node at
          0000000000000000-000000007f800000
        [    0.000000] Bootmem setup node 0
          0000000000000000-000000007f800000
        [    0.000000]   NODE_DATA [0000000000008000 -
          000000000000ffff]
        [    0.000000]   bootmap [0000000000010000 -
           000000000001feff] pages 10
        [    0.000000] (9 early reservations) ==> bootmem
          [0000000000 - 007f800000]
        [    0.000000]   #0 [0000000000 - 0000001000]   BIOS data
          page ==> [0000000000 - 0000001000]
        [    0.000000]   #1 [00036ea000 - 0003709000]   XEN
          PAGETABLES ==> [00036ea000 - 0003709000]
        [    0.000000]   #2 [0000006000 - 0000008000]      
          TRAMPOLINE ==> [0000006000 - 0000008000]
        [    0.000000]   #3 [0001000000 - 0001698b14]    TEXT DATA
          BSS ==> [0001000000 - 0001698b14]
        [    0.000000]   #4 [00016b9000 - 00032e8600]        
           RAMDISK ==> [00016b9000 - 00032e8600]
        [    0.000000]   #5 [00032e9000 - 00036ea000]   XEN START
          INFO ==> [00032e9000 - 00036ea000]
        [    0.000000]   #6 [0001699000 - 00016994d8]            
           BRK ==> [0001699000 - 00016994d8]
        [    0.000000]   #7 [0000100000 - 00004dd000]        
           PGTABLE ==> [0000100000 - 00004dd000]
        [    0.000000]   #8 [0000001000 - 0000001030]        ACPI
          SLIT ==> [0000001000 - 0000001030]
        [    0.000000] Zone PFN ranges:
        [    0.000000]   DMA      0x00000000 -> 0x00001000
        [    0.000000]   DMA32    0x00001000 -> 0x00100000
        [    0.000000]   Normal   0x00100000 -> 0x00100000
        [    0.000000] Movable zone start PFN for each node
        [    0.000000] early_node_map[5] active PFN ranges
        [    0.000000]     0: 0x00000000 -> 0x0000009c
        [    0.000000]     0: 0x00000100 -> 0x0007cc70
        [    0.000000]     0: 0x0007cd34 -> 0x0007d641
        [    0.000000]     0: 0x0007d6f1 -> 0x0007f68f
        [    0.000000]     0: 0x0007f7ff -> 0x0007f800
        [    0.000000] ACPI: PM-Timer IO Port: 0x588
        [    0.000000] ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x01] lapic_id[0x02]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x02] lapic_id[0x04]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x03] lapic_id[0x10]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x04] lapic_id[0x12]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x05] lapic_id[0x14]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x06] lapic_id[0x20]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x07] lapic_id[0x22]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x08] lapic_id[0x24]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x09] lapic_id[0x30]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x0a] lapic_id[0x32]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x0b] lapic_id[0x34]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x0c] lapic_id[0x01]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x0d] lapic_id[0x03]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x0e] lapic_id[0x05]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x0f] lapic_id[0x11]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x10] lapic_id[0x13]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x11] lapic_id[0x15]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x12] lapic_id[0x21]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x13] lapic_id[0x23]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x14] lapic_id[0x25]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x15] lapic_id[0x31]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x16] lapic_id[0x33]
          enabled)
        [    0.000000] ACPI: LAPIC (acpi_id[0x17] lapic_id[0x35]
          enabled)
        [    0.000000] ACPI: LAPIC_NMI (acpi_id[0xff] dfl dfl
          lint[0x1])
        [    0.000000] ACPI: IOAPIC (id[0x08] address[0xfec00000]
          gsi_base[0])
        [    0.000000] IOAPIC[0]: apic_id 8, version 0, address
          0xfec00000, GSI 0-0
        [    0.000000] ACPI: IOAPIC (id[0x09] address[0xfec80000]
          gsi_base[24])
        [    0.000000] IOAPIC[1]: apic_id 9, version 0, address
          0xfec80000, GSI 24-24
        [    0.000000] ACPI: INT_SRC_OVR (bus 0 bus_irq 0
          global_irq 2 dfl dfl)
        [    0.000000] ERROR: Unable to locate IOAPIC for GSI 2
        [    0.000000] ACPI: INT_SRC_OVR (bus 0 bus_irq 9
          global_irq 9 high level)
        [    0.000000] ERROR: Unable to locate IOAPIC for GSI 9
        [    0.000000] Using ACPI (MADT) for SMP configuration
          information
        [    0.000000] ACPI: HPET id: 0x8086a301 base: 0xfed00000
        [    0.000000] SMP: Allowing 1 CPUs, 0 hotplug CPUs
        [    0.000000] PM: Registered nosave memory:
          000000000009c000 - 0000000000100000
        [    0.000000] PM: Registered nosave memory:
          000000007cc70000 - 000000007cd34000
        [    0.000000] PM: Registered nosave memory:
          000000007d641000 - 000000007d6f1000
        [    0.000000] PM: Registered nosave memory:
          000000007f68f000 - 000000007f6df000
        [    0.000000] PM: Registered nosave memory:
          000000007f6df000 - 000000007f7df000
        [    0.000000] PM: Registered nosave memory:
          000000007f7df000 - 000000007f7ff000
        [    0.000000] Allocating PCI resources starting at
          90000000 (gap: 90000000:6c000000)
        [    0.000000] Booting paravirtualized kernel on Xen
        [    0.000000] Xen version: 4.0.1 (preserve-AD) (dom0)
        [    0.000000] NR_CPUS:512 nr_cpumask_bits:512 nr_cpu_ids:1
          nr_node_ids:1
        [    0.000000] PERCPU: Embedded 30 pages/cpu
          @ffff880003740000 s90328 r8192 d24360 u122880
        [    0.000000] pcpu-alloc: s90328 r8192 d24360 u122880
          alloc=30*4096
        [    0.000000] pcpu-alloc: [0] 0 
        [    7.938267] Xen: using vcpu_info placement
        [    7.938271] Built 1 zonelists in Node order, mobility
          grouping on.  Total pages: 513268
        [    7.938273] Policy zone: DMA32
        [    7.938275] Kernel command line: placeholder
          root=/dev/mapper/vg02-root ro console=tty0 console=hvc0
        [    7.938299] PID hash table entries: 4096 (order: 3,
          32768 bytes)
        [    7.938528] Initializing CPU#0
        [    7.946279] DMA: Placing 64MB software IO TLB between
          ffff88000571a000 - ffff88000971a000
        [    7.946283] DMA: software IO TLB at phys 0x571a000 -
          0x971a000
        [    7.946284] xen_swiotlb_fixup: buf=ffff88000571a000
          size=67108864
        [    7.962460] xen_swiotlb_fixup: buf=ffff88000977a000
          size=32768
        [    7.969455] Memory: 1946660k/2088960k available (3149k
          kernel code, 3360k absent, 138940k reserved, 1906k data, 604k
          init)
        [    7.969486] SLUB: Genslabs=14, HWalign=64, Order=0-3,
          MinObjects=0, CPUs=1, Nodes=1
        [    7.969502] Hierarchical RCU implementation.
        [    7.969507] NR_IRQS:4352 nr_irqs:512
        [    7.969605] ACPI: INT_SRC_OVR (bus 0 bus_irq 0
          global_irq 2 dfl dfl)
        [    7.969608] ACPI: INT_SRC_OVR (bus 0 bus_irq 9
          global_irq 9 high level)
        [    7.969610] xen: sci override: source_irq=9 global_irq=9
          trigger=c polarity=1
        [    7.969613] xen_allocate_pirq: returning irq 9 for gsi 9
        [    7.969620] xen: acpi sci 9
        [    7.977817] Console: colour VGA+ 80x25
        [    7.987678] console [tty0] enabled
        [    8.005449] console [hvc0] enabled
        [    8.005533] installing Xen timer for CPU 0
        [    8.005619] Detected 3066.812 MHz processor.
        [    8.005688] Calibrating delay loop (skipped), value
          calculated using timer frequency.. 6133.62 BogoMIPS
          (lpj=12267248)
        [    8.005834] Security Framework initialized
        [    8.005902] SELinux:  Disabled at boot.
        [    8.006237] Dentry cache hash table entries: 262144
          (order: 9, 2097152 bytes)
        [    8.006721] Inode-cache hash table entries: 131072
          (order: 8, 1048576 bytes)
        [    8.006933] Mount-cache hash table entries: 256
        [    8.007093] Initializing cgroup subsys ns
        [    8.007159] Initializing cgroup subsys cpuacct
        [    8.007226] Initializing cgroup subsys devices
        [    8.007293] Initializing cgroup subsys freezer
        [    8.007359] Initializing cgroup subsys net_cls
        [    8.007449] CPU: L1 I cache: 32K, L1 D cache: 32K
        [    8.007557] CPU: L2 cache: 256K
        [    8.007621] CPU: L3 cache: 12288K
        [    8.007687] CPU 0/0x0 -> Node 0
        [    8.007751] CPU: Unsupported number of siblings 32
        [    8.007804] mce: CPU supports 9 MCE banks
        [    8.007942] Performance Events: unsupported p6 CPU model
          44 no PMU driver, software events only.
        [    8.015392] SMP alternatives: switching to UP code
        [    8.034769] Freeing SMP alternatives: 28k freed
        [    8.034842] ACPI: Core revision 20090903
        [    8.042268] Brought up 1 CPUs
        [    8.042410] devtmpfs: initialized
        [    8.045055] Grant table initialized
        [    8.045120] regulator: core version 0.5
        [    8.045218] NET: Registered protocol family 16
        [    8.045397] ACPI FADT declares the system doesn't
          support PCIe ASPM, so disable it
        [    8.045485] ACPI: bus type pci registered
        [    8.045799] PCI: MCFG configuration 0: base 80000000
          segment 0 buses 0 - 255
        [    8.045870] PCI: MCFG area at 80000000 reserved in E820
        [    8.078883] PCI: Using MMCONFIG at 80000000 - 8fffffff
        [    8.078951] PCI: Using configuration type 1 for base
          access
        [    8.079421] bio: create slab <bio-0> at 0
        [    8.080161] ERROR: Unable to locate IOAPIC for GSI 9
        [    8.089844] ACPI: Interpreter enabled
        [    8.089910] ACPI: (supports S0 S1 S5)
        [    8.090112] ACPI: Using IOAPIC for interrupt routing
        [    8.095530] ACPI: No dock devices found.
        [    8.095807] ACPI: PCI Root Bridge [PCI0] (0000:00)
        [    8.096051] pci 0000:00:00.0: PME# supported from D0
          D3hot D3cold
        [    8.096123] pci 0000:00:00.0: PME# disabled
        [    8.096294] pci 0000:00:01.0: PME# supported from D0
          D3hot D3cold
        [    8.096369] pci 0000:00:01.0: PME# disabled
        [    8.096542] pci 0000:00:02.0: PME# supported from D0
          D3hot D3cold
        [    8.096612] pci 0000:00:02.0: PME# disabled
        [    8.096785] pci 0000:00:03.0: PME# supported from D0
          D3hot D3cold
        [    8.096857] pci 0000:00:03.0: PME# disabled
        [    8.097034] pci 0000:00:07.0: PME# supported from D0
          D3hot D3cold
        [    8.097106] pci 0000:00:07.0: PME# disabled
        [    8.099065] pci 0000:00:1a.7: PME# supported from D0
          D3hot D3cold
        [    8.099138] pci 0000:00:1a.7: PME# disabled
        [    8.099301] pci 0000:00:1c.0: PME# supported from D0
          D3hot D3cold
        [    8.099372] pci 0000:00:1c.0: PME# disabled
        [    8.099535] pci 0000:00:1c.4: PME# supported from D0
          D3hot D3cold
        [    8.099607] pci 0000:00:1c.4: PME# disabled
        [    8.100138] pci 0000:00:1d.7: PME# supported from D0
          D3hot D3cold
        [    8.100209] pci 0000:00:1d.7: PME# disabled
        [    8.100963] pci 0000:0b:00.0: PME# supported from D0
          D3hot D3cold
        [    8.101034] pci 0000:0b:00.0: PME# disabled
        [    8.101252] pci 0000:0b:00.1: PME# supported from D0
          D3hot D3cold
        [    8.101325] pci 0000:0b:00.1: PME# disabled
        [    8.101645] pci 0000:10:00.0: PME# supported from D0
          D3hot D3cold
        [    8.101722] pci 0000:10:00.0: PME# disabled
        [    8.101943] pci 0000:10:00.1: PME# supported from D0
          D3hot D3cold
        [    8.102016] pci 0000:10:00.1: PME# disabled
        [    8.102678] pci 0000:06:00.0: PME# supported from D0
          D3hot D3cold
        [    8.102750] pci 0000:06:00.0: PME# disabled
        [    8.103253] pci 0000:00:1e.0: transparent bridge
        (XEN) PCI add device 00:00.0
        (XEN) PCI add device 00:01.0
        (XEN) PCI add device 00:02.0
        (XEN) PCI add device 00:03.0
        
          (XEN) PCI add device 00:07.0
        (XEN) PCI add device 00:10.0
        (XEN) PCI add device 00:10.1
        (XEN) PCI add device 00:11.0
        (XEN) PCI add device 00:11.1
        (XEN) PCI add device 00:14.0
        (XEN) PCI add device 00:14.1
        (XEN) PCI add device 00:14.2
        (XEN) PCI add device 00:14.3
        (XEN) PCI add device 00:15.0
        (XEN) PCI add device 00:16.0
        (XEN) PCI add device 00:16.1
        (XEN) PCI add device 00:16.2
        (XEN) PCI add device 00:16.3
        (XEN) PCI add device 00:16.4
        (XEN) PCI add device 00:16.5
        (XEN) PCI add device 00:16.6
        (XEN) PCI add device 00:16.7
        (XEN) PCI add device 00:1a.0
        (XEN) PCI add device 00:1a.1
        (XEN) PCI add device 00:1a.7
        (XEN) PCI add device 00:1c.0
        (XEN) PCI add device 00:1c.4
        (XEN) PCI add device 00:1d.0
        (XEN) PCI add device 00:1d.1
        (XEN) PCI add device 00:1d.2
        (XEN) PCI add device 00:1d.7
        (XEN) PCI add device 00:1e.0
        (XEN) PCI add device 00:1f.0
        (XEN) PCI add device 00:1f.2
        (XEN) PCI add device 00:1f.3
        (XEN) PCI add device 00:1f.5
        (XEN) PCI add device 0b:00.0
        (XEN) PCI add device 0b:00.1
        (XEN) PCI add device 10:00.0
        (XEN) PCI add device 10:00.1
        (XEN) PCI add device 01:00.0
        (XEN) PCI add device 06:00.0
        (XEN) PCI add device 07:00.0
        [    8.113653] ACPI: PCI Interrupt Link [LNKA] (IRQs 3 4 5
          6 7 9 10 *11 12 14 15)
        [    8.114422] ACPI: PCI Interrupt Link [LNKB] (IRQs 3 4 5
          6 7 9 *10 11 12 14 15)
        [    8.115196] ACPI: PCI Interrupt Link [LNKC] (IRQs 3 4 5
          6 *7 9 10 11 12 14 15)
        [    8.115976] ACPI: PCI Interrupt Link [LNKD] (IRQs 3 4 *5
          6 7 9 10 11 12 14 15)
        [    8.116769] ACPI: PCI Interrupt Link [LNKE] (IRQs 3 4 5
          6 7 9 10 11 12 14 15) *0, disabled.
        [    8.117644] ACPI: PCI Interrupt Link [LNKF] (IRQs 3 4 5
          6 7 9 10 *11 12 14 15)
        [    8.118441] ACPI: PCI Interrupt Link [LNKG] (IRQs 3 4 5
          6 7 9 10 *11 12 14 15)
        [    8.119246] ACPI: PCI Interrupt Link [LNKH] (IRQs 3 4 5
          6 7 9 10 11 12 14 15) *0, disabled.
        [    8.120015] x(XEN) Resetting with ACPI MEMORY or I/O
          RESET_REG.
        
        
       
      I tried to boot with pci=nomsi, without success.