Untitled

[    0.000000]  BIOS-e820: 00000000bacb8000 - 00000000badfb000 (reserved)

[    0.000000]  BIOS-e820: 00000000badfb000 - 00000000badfd000 (ACPI NVS)

[    0.000000] PM: Registered nosave memory: 00000000bacb8000 - 00000000badfb000

[    0.000000] PM: Registered nosave memory: 00000000badfb000 - 00000000badfd000

[    0.556118] PM: Registering ACPI NVS region at badfb000 (8192 bytes)

[    0.557018] PCI: MMCONFIG for domain 0000 [bus 00-3f] at [mem 0xf8000000-0xfbffffff] (base 0xf8000000)

[    0.557020] PCI: MMCONFIG at [mem 0xf8000000-0xfbffffff] reserved in E820

[    0.733309] pci 0000:00:1f.3: reg 20: [io  0xefa0-0xefbf]

[    0.776391] pnp 00:09: [mem 0xf8000000-0xfbffffff]

[    0.776444] system 00:09: [mem 0xf8000000-0xfbffffff] has been reserved