[coreboot-gerrit] Patch merged into coreboot/master: device: Add device path display support

the following patch was just integrated into master:
commit a95baf9f7f625d29a50c3e25f92f1118d6c626ab
Author: Lee Leahy 
Date:   Sat Feb 13 06:10:04 2016 -0800

device: Add device path display support

Add an optional routine to translate the device path types into a string
    for display.

TEST=Build and run on Galileo

Change-Id: Iea5d0a2430d9a8546105324e2beda0955210dca9
    Signed-off-by: Lee Leahy 
    Reviewed-on: https://review.coreboot.org/13715
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth

See https://review.coreboot.org/13715 for details.

-gerrit