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