Re: [PATCH 14/17] x86: coreboot: Document the memory map