[coreboot-gerrit] Patch set updated for coreboot: de7e317 cbfs: add new API using region_device