[coreboot-gerrit] Change in coreboot[4.11_branch]: drivers/ipmi: Add IPMI get system GUID support

[Johnny Lin (Code Review)]

Hello build bot (Jenkins),

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

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

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

Change subject: drivers/ipmi: Add IPMI get system GUID support
......................................................................

drivers/ipmi: Add IPMI get system GUID support

Tested on OCP Mono Lake.

Change-Id: I541a23341ccce3d45239babb3f0a8a8c8542b226
Signed-off-by: Johnny Lin 
---
M src/drivers/ipmi/ipmi_ops.c
M src/drivers/ipmi/ipmi_ops.h
2 files changed, 34 insertions(+), 0 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/85/37085/2