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

[Marc Jones (Code Review)]

Marc Jones 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:

(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

Ack

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. […]

Ack