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

[Shuming Chu (Shuming) (Code Review)]

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

Shuming Chu (Shuming) has uploaded a new patch set (#3) to the change originally created by Jonathan Zhang. ( https://review.coreboot.org/c/coreboot/+/68758 )

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, 248 insertions(+), 0 deletions(-)

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