[coreboot-gerrit] Change in coreboot[master]: drivers/ipmi: Add Supermicro OEM commands

[Patrick Rudolph (Code Review)]

Patrick Rudolph has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/38002 )

Change subject: drivers/ipmi: Add Supermicro OEM commands
......................................................................

Patch Set 2:

(1 comment)

https://review.coreboot.org/c/coreboot/+/38002/1/src/mainboard/supermicro/x1... 
File src/mainboard/supermicro/x11-lga1151-series/Kconfig:

https://review.coreboot.org/c/coreboot/+/38002/1/src/mainboard/supermicro/x1... 
PS1, Line 15: 	select DRIVER_SUPERMICRO_IPMI_OEM
> not sure if that should be a user selectable option. there are people using openbmc/u-bmc/...

I would expect openbmc/u-bmc would implement the same interface to be compatible with all host firmwares out there.

Made it user selectable.