[    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