[XS] Change in coreboot[main]: drivers/ipmi/ocp: Add missing include

[Elyes Haouas (Code Review)]

Elyes Haouas has submitted this change. ( https://review.coreboot.org/c/coreboot/+/85317?usp=email )

Change subject: drivers/ipmi/ocp: Add missing include
......................................................................

drivers/ipmi/ocp: Add missing include

Include stddef.h to fix the compiler error when using ipmi_ocp.h:
src/drivers/ipmi/ocp/ipmi_ocp.h:199:44: error: unknown type name 'size_t'

Change-Id: Iccd131295263460a4939e51e12ece87ea22c417c
Signed-off-by: Patrick Rudolph 
Reviewed-on: https://review.coreboot.org/c/coreboot/+/85317
Reviewed-by: Lean Sheng Tan 
Reviewed-by: Elyes Haouas 
Tested-by: build bot (Jenkins) 
---
M src/drivers/ipmi/ocp/ipmi_ocp.h
1 file changed, 1 insertion(+), 0 deletions(-)

Approvals:
  build bot (Jenkins): Verified
  Elyes Haouas: Looks good to me, approved
  Lean Sheng Tan: Looks good to me, approved

diff --git a/src/drivers/ipmi/ocp/ipmi_ocp.h b/src/drivers/ipmi/ocp/ipmi_ocp.h
index d02eb35..83b8ba3 100644
--- a/src/drivers/ipmi/ocp/ipmi_ocp.h
+++ b/src/drivers/ipmi/ocp/ipmi_ocp.h
@@ -5,6 +5,7 @@

#include <commonlib/bsd/cb_err.h>
 #include <device/pci_type.h>
+#include <stddef.h>

#define IPMI_NETFN_OEM				0x30
 #define  IPMI_OEM_SET_PPIN			0x77