[L] Change in coreboot[master]: drivers/ipmi/ocp: add PCIe SEL support

[Jonathan Zhang (Code Review)]

Attention is currently required from: Rocky Phagura, Paul Menzel, Tim Chu.

Hello build bot (Jenkins), Rocky Phagura, Tim Chu,

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

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

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

Change subject: drivers/ipmi/ocp: add PCIe SEL support
......................................................................

drivers/ipmi/ocp: add PCIe SEL support

Add Kconfig SOC_RAS_BMS_SEL and corresponding support for
generating PCIe error SEL records and sending them to BMC.

Add PCIe error definitions.

This is needed for SMM, so build the ipmi kcs driver in SMM.

Signed-off-by: Tim Chu 
Signed-off-by: Rocky Phagura 
Signed-off-by: Jonathan Zhang 
Change-Id: I1ee46c8da7dbccbe1e2cc00bfe62e5df2f072d65
---
M src/drivers/ipmi/Makefile.inc
M src/drivers/ipmi/ocp/Kconfig
M src/drivers/ipmi/ocp/Makefile.inc
M src/drivers/ipmi/ocp/ipmi_ocp.h
A src/drivers/ipmi/ocp/ipmi_sel.c
5 files changed, 250 insertions(+), 0 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/58/68758/2