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