[coreboot-gerrit] Change in coreboot[master]: drivers/ipmi/ocp/ipmii_ocp.c: Clean up includes

[Angel Pons (Code Review)]

Angel Pons has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/45968 )

Change subject: drivers/ipmi/ocp/ipmii_ocp.c: Clean up includes
......................................................................

Patch Set 2: Code-Review+1

(2 comments)

https://review.coreboot.org/c/coreboot/+/45968/2//COMMIT_MSG 
Commit Message:

https://review.coreboot.org/c/coreboot/+/45968/2//COMMIT_MSG@7 
PS2, Line 7: ii
One `i` is enough

https://review.coreboot.org/c/coreboot/+/45968/2/src/drivers/ipmi/ocp/ipmi_o... 
File src/drivers/ipmi/ocp/ipmi_ocp.c:

https://review.coreboot.org/c/coreboot/+/45968/2/src/drivers/ipmi/ocp/ipmi_o... 
PS2, Line 17: 
I see some `uint8_t` lying around... #include <types.h>