[coreboot] memtest86 reading 0k memory

[Stefan Reinauer]

* Timothy Pearson <tpearson at raptorengineeringinc.com> [150205 19:23]:
> e820: BIOS-provided physical RAM map:
> BIOS-e820: [mem 0x0000000000000000-0x000000000009fbff] usable
> BIOS-e820: [mem 0x000000000009fc00-0x000000000009ffff] reserved
> BIOS-e820: [mem 0x00000000000f0000-0x00000000000fffff] reserved
> BIOS-e820: [mem 0x0000000000100000-0x000000003ffacfff] usable
> BIOS-e820: [mem 0x000000003ffad000-0x000000003fffffff] reserved
> BIOS-e820: [mem 0x00000000e0000000-0x00000000efffffff] reserved
 
One of the issues seems to be that the coreboot table space is not
marked as reserved (i.e. the lower 4k should be marked as reserved, and
whatever is used at the top of memory)

Stefan