Change in coreboot[master]: device: Extend `devtree_die()` log information

[Angel Pons (Code Review)]

Attention is currently required from: Tim Wawrzynczak, Angel Pons, Arthur Heymans, Kyösti Mälkki, Patrick Rudolph.
Hello Nico Huber, Tim Wawrzynczak, Arthur Heymans, Kyösti Mälkki, Patrick Rudolph,

I'd like you to reexamine a change. Please visit

https://review.coreboot.org/c/coreboot/+/56058

to look at the new patch set (#2).

Change subject: device: Extend `devtree_die()` log information
......................................................................

device: Extend `devtree_die()` log information

If the `config_of()` function is called with a non-NULL `dev` argument,
but its `chip_info` member is NULL, it is possible to print information
about `dev` to make debugging easier. Pass `dev` to `devtree_die()` and
call the `dev_path()` function with it.

Change-Id: I62f93bd7a4a4e55a84c1436e57e48804de730080
Signed-off-by: Angel Pons 
---
M src/device/device_const.c
M src/include/device/device.h
2 files changed, 7 insertions(+), 4 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/58/56058/2