[coreboot-gerrit] Patch merged into coreboot/master: e62cf52 regions: add mmap helper device