[coreboot-gerrit] [XS] Change in coreboot[master]: drivers/ipmi/ipmi_ops.h: Fix system event record data types