[coreboot] New patch to review for coreboot: 5da88b0 Use dev_lock for alloc_find_dev()