Change in coreboot[master]: device/Kconfig: hide display menu when NO_GFX_INIT is selected

[Michael Niewöhner (Code Review)]

Hello Patrick Rudolph, Arthur Heymans, build bot (Jenkins), Nico Huber, Patrick Georgi,

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

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

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

Change subject: device/Kconfig: hide display menu when NO_GFX_INIT is selected
......................................................................

device/Kconfig: hide display menu when NO_GFX_INIT is selected

Hide display menu when NO_GFX_INIT is selected.

This also adds a config to make Jenkins test this.

Change-Id: Iec5a47f84b8c776a45edc6f4b31a03b9ac714b4e
Signed-off-by: Michael Niewöhner 
---
A configs/config.no_gfx_init
M src/device/Kconfig
2 files changed, 5 insertions(+), 0 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/44/36444/3