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

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 5da88b005c2b1114d49ba345893f457f44353ff3
Author: Kyösti Mälkki <kyosti.malkki at gmail.com>
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 <kyosti.malkki at gmail.com>

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

-gerrit