[    0.000000] user: [mem 0x0000000000000000-0x000000000005efff] usable
 [    0.000000] user: [mem 0x000000000005f000-0x000000000005ffff] reserved
 [    0.000000] user: [mem 0x0000000000060000-0x000000000009ffff] usable
 [    0.000000] user: [mem 0x00000000000a0000-0x00000000000fffff] reserved
 [    0.000000] user: [mem 0x0000000000100000-0x0000000075007017] usable
 [    0.000000] user: [mem 0x0000000075007018-0x000000007500f057] usable
 [    0.000000] user: [mem 0x000000007500f058-0x0000000075010017] usable
 [    0.000000] user: [mem 0x0000000075010018-0x0000000075026057] usable
 [    0.000000] user: [mem 0x0000000075026058-0x0000000077470fff] usable
 [    0.000000] user: [mem 0x0000000077471000-0x00000000774f1fff] reserved
 [    0.000000] user: [mem 0x00000000774f2000-0x0000000078c82fff] usable
 [    0.000000] user: [mem 0x0000000078c83000-0x000000007ac32fff] reserved
 [    0.000000] user: [mem 0x000000007ac33000-0x000000007b662fff] ACPI NVS
 [    0.000000] user: [mem 0x000000007b663000-0x000000007b7d2fff] ACPI data
 [    0.000000] user: [mem 0x000000007b7d3000-0x000000007b7fffff] usable
 [    0.000000] user: [mem 0x000000007b800000-0x000000008fffffff] reserved
 [    0.000000] user: [mem 0x00000000fed1c000-0x00000000fed1ffff] reserved
 [    0.000000] user: [mem 0x0000000100000000-0x00000004ffffffff] persistent (type 12)
 [    0.000000] user: [mem 0x0000000500000000-0x0000000c7fffffff] usable