[coreboot-gerrit] Patch merged into coreboot/master: 987dfe6 device_util: Add dev_find_slot_pnp.

the following patch was just integrated into master:
commit 987dfe607be6b450777859e96b0ed3efc096adee
Author: Vladimir Serbinenko 
Date:   Tue Feb 4 14:34:11 2014 +0100

device_util: Add dev_find_slot_pnp.

Change-Id: I5223c54c8ddbc60a176e4d718730e99decc772a3
    Signed-off-by: Vladimir Serbinenko

See http://review.coreboot.org/5112 for details.

-gerrit