Oct  7 13:37:43 user kernel: [    0.231408] pnp 00:0b: [mem 0x000cd400-0x000cffff]
Oct  7 13:37:43 user kernel: [    0.231411] pnp 00:0b: [mem 0x000f0000-0x000f7fff]
Oct  7 13:37:43 user kernel: [    0.231413] pnp 00:0b: [mem 0x000f8000-0x000fbfff]
Oct  7 13:37:43 user kernel: [    0.231416] pnp 00:0b: [mem 0x000fc000-0x000fffff]
Oct  7 13:37:43 user kernel: [    0.231418] pnp 00:0b: [mem 0xdfee0000-0xdfefffff]
Oct  7 13:37:43 user kernel: [    0.231421] pnp 00:0b: [mem 0x00000000-0x0009ffff]
Oct  7 13:37:43 user kernel: [    0.231423] pnp 00:0b: [mem 0x00100000-0xdfedffff]
Oct  7 13:37:43 user kernel: [    0.231425] pnp 00:0b: [mem 0xfec00000-0xfec00fff]
Oct  7 13:37:43 user kernel: [    0.231428] pnp 00:0b: [mem 0xfed10000-0xfed1dfff]
Oct  7 13:37:43 user kernel: [    0.231430] pnp 00:0b: [mem 0xfed20000-0xfed8ffff]
Oct  7 13:37:43 user kernel: [    0.231432] pnp 00:0b: [mem 0xfee00000-0xfee00fff]
Oct  7 13:37:43 user kernel: [    0.231434] pnp 00:0b: [mem 0xffb00000-0xffb7ffff]
Oct  7 13:37:43 user kernel: [    0.231437] pnp 00:0b: [mem 0xfff00000-0xffffffff]
Oct  7 13:37:43 user kernel: [    0.231439] pnp 00:0b: [mem 0x000e0000-0x000effff]
Oct  7 13:37:43 user kernel: [    0.231531] system 00:0b: [mem 0x000cd400-0x000cffff] has been reserved
Oct  7 13:37:43 user kernel: [    0.231534] system 00:0b: [mem 0x000f0000-0x000f7fff] could not be reserved
Oct  7 13:37:43 user kernel: [    0.231538] system 00:0b: [mem 0x000f8000-0x000fbfff] could not be reserved
Oct  7 13:37:43 user kernel: [    0.231541] system 00:0b: [mem 0x000fc000-0x000fffff] could not be reserved
Oct  7 13:37:43 user kernel: [    0.231545] system 00:0b: [mem 0xdfee0000-0xdfefffff] could not be reserved
Oct  7 13:37:43 user kernel: [    0.231548] system 00:0b: [mem 0x00000000-0x0009ffff] could not be reserved
Oct  7 13:37:43 user kernel: [    0.231551] system 00:0b: [mem 0x00100000-0xdfedffff] could not be reserved
Oct  7 13:37:43 user kernel: [    0.231555] system 00:0b: [mem 0xfec00000-0xfec00fff] could not be reserved
Oct  7 13:37:43 user kernel: [    0.231558] system 00:0b: [mem 0xfed10000-0xfed1dfff] has been reserved
Oct  7 13:37:43 user kernel: [    0.231561] system 00:0b: [mem 0xfed20000-0xfed8ffff] has been reserved
Oct  7 13:37:43 user kernel: [    0.231564] system 00:0b: [mem 0xfee00000-0xfee00fff] has been reserved
Oct  7 13:37:43 user kernel: [    0.231568] system 00:0b: [mem 0xffb00000-0xffb7ffff] has been reserved
Oct  7 13:37:43 user kernel: [    0.231571] system 00:0b: [mem 0xfff00000-0xffffffff] has been reserved
Oct  7 13:37:43 user kernel: [    0.231574] system 00:0b: [mem 0x000e0000-0x000effff] has been reserved
Oct  7 13:37:43 user kernel: [    0.231578] system 00:0b: Plug and Play ACPI device, IDs PNP0c01 (active)
Oct  7 13:37:43 user kernel: [    0.231600] pnp 00:0c: [mem 0xffb80000-0xffbfffff]
Oct  7 13:37:43 user kernel: [    0.231660] pnp 00:0c: Plug and Play ACPI device, IDs INT0800 (active)
Oct  7 13:37:43 user kernel: [    0.231668] pnp: PnP ACPI: found 13 devices
Oct  7 13:37:43 user kernel: [    0.231670] ACPI: ACPI bus type pnp unregistered
Oct  7 13:37:43 user kernel: [    0.238461] PCI: max bus depth: 1 pci_try_num: 2
Oct  7 13:37:43 user kernel: [    0.238515] pci 0000:00:1c.4: BAR 15: assigned [mem 0xf4000000-0xf41fffff 64bit pref]