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