[coreboot-gerrit] Patch set updated for coreboot: ba39bca cbfs: add new API and boot_device support