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