[coreboot-gerrit] Change in ...coreboot[master]: mb/ocp/wedge100s: Use the new IPMI driver

[Patrick Rudolph (Code Review)]

Hello Felix Held, Łukasz Siudut, David Hendricks, Philipp Deppenwiese, build bot (Jenkins),

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

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

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

Change subject: mb/ocp/wedge100s: Use the new IPMI driver
......................................................................

mb/ocp/wedge100s: Use the new IPMI driver

* Enable decoding the IPMI KCS to LPC
* Select the IPMI driver
* Add the PNP device that holds the IPMI KCS base address

Tested on Wedge100s.

Change-Id: I35634bbcbe6893bd72ec7e41f6ca7bba09d819a2
Signed-off-by: Patrick Rudolph 
---
M src/mainboard/ocp/wedge100s/Kconfig
M src/mainboard/ocp/wedge100s/devicetree.cb
M src/mainboard/ocp/wedge100s/romstage.c
3 files changed, 8 insertions(+), 0 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/89/33489/6