[coreboot-gerrit] Patch set updated for coreboot: ed7e827 regions: add mmap helper device