[coreboot-gerrit] Patch set updated for coreboot: Documentation: x86 device tree processing and memory map