[coreboot-gerrit] New patch to review for coreboot: 25d5e87 coreboot: introduce boot_device