[coreboot-gerrit] Patch set updated for coreboot: dad52b3 coreboot: introduce boot_device