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