Change in coreboot[master]: drivers/ipmi/ocp: Implement OCP specific IPMI system eventlog records

[Arthur Heymans (Code Review)]

Attention is currently required from: Martin Roth.
Hello build bot (Jenkins), Patrick Georgi, Martin Roth,

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

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

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

Change subject: drivers/ipmi/ocp: Implement OCP specific IPMI system eventlog records
......................................................................

drivers/ipmi/ocp: Implement OCP specific IPMI system eventlog records

Change-Id: I6cf3b52d6cd024d177a809d9c8e1edffe3b784b2
Signed-off-by: Arthur Heymans 
---
M src/drivers/ipmi/ocp/Makefile.inc
A src/drivers/ipmi/ocp/ipmi_sel.c
A src/drivers/ipmi/ocp/ipmi_sel.h
3 files changed, 103 insertions(+), 0 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/00/51800/2