[coreboot-gerrit] Change in coreboot[master]: config: provide a way to specify a user override devicetree

[Michael Niewöhner (Code Review)]

Hello build bot (Jenkins), Patrick Georgi, Martin Roth,

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

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

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

Change subject: config: provide a way to specify a user override devicetree
......................................................................

config: provide a way to specify a user override devicetree

Change-Id: Ie4652cbf59ba6ba03f97a75ca4644349ffa04915
Signed-off-by: Michael Niewöhner 
---
M Makefile.inc
M src/Kconfig
2 files changed, 25 insertions(+), 2 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/55/35455/2