Patch merged into coreboot/master: 5da88b0 Use dev_lock for alloc_find_dev()

the following patch was just integrated into master:
commit 5da88b005c2b1114d49ba345893f457f44353ff3
Author: Kyösti Mälkki 
Date:   Sat Jul 7 17:15:51 2012 +0300

Use dev_lock for alloc_find_dev()

If threads called alloc_find_dev() with same device_path
    simultaneously, two device nodes could be allocated.
    This bug is not triggered by current code.

Change-Id: Ifc87021c8d6f422901c5de5dd17392e3e2309afa
    Signed-off-by: Kyösti Mälkki

Build-Tested: build bot (Jenkins) at Sat Jul  7 22:46:22 2012, giving +1
See http://review.coreboot.org/1188 for details.

-gerrit