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
 ;0x5 byte
  0x6 word: BIOS memory map length
  0x8 word: active VBE mode

0x0000.4200 - 0x0000.43ff  (512): VBE2 info block
0x0000.4400 - 0x0000.44ff  (256): active VBE mode info

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

0x0001.0000 - 0x0001.ffff  (64k): BIOS memory map
0x0002.0000 - 0x0002.0fff   (4k): kernel stack guard
0x0002.1000 - 0x0002.efff  (56k): kernel stack
0x0002.f000 - 0x0002.ffff   (4k): kernel stack guard
0x0003.0000 - 0x0003.ffff  (64k): kernel text, data, rodata
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