0x0000.4000 - 0x0000.4007    (8): bootloader info
  0x0 byte: support flags
    0x80: PCI
    0x40: PAE
  0x1 byte: PCI "hardware characteristics"
  0x2 byte: PCI minor
  0x3 byte: PCI major
  0x4 byte: last PCI bus

  0x6 word: BIOS memory map length

0x0000.4f98 - 0x0000.4fff  (104): TSS
0x0000.5000 - 0x0000.5fff   (4k): kernel page directory

0x0001.0000 - 0x0001.ffff  (64k): BIOS memory map

0x0003.0000 - 0x0003.7fff  (32k): kernel text, data, rodata
0x0003.8000 - 0x0003.ffff  (32k): kernel stack
0x0004.0000 - 0x0005.ffff (128k): pagemap
0x0006.0000 - 0x0007.ffff (128k): shared kernel page tables

0x000a.0000 - 0x000f.ffff (384k): VGA and BIOS memory

0x0040.0000 - 0x007f.ffff   (4M): kernel page tables

0x00f0.0000 - 0x00ff.ffff   (1M): ISA memory

0x0400.0000 - 0x07ff.ffff  (64M): kernel heap, bss pages
0x0800.0000 - 0xffff.ffff (rest): user pages, hardware memory