[coreboot-gerrit] Change in coreboot[master]: drivers/ocp/ipmi: Add ipmi set processor information

[Tim Chu (Code Review)]

Tim Chu has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/42242 )

Change subject: drivers/ocp/ipmi: Add ipmi set processor information
......................................................................

Patch Set 9:

(1 comment)

This change is ready for review.

https://review.coreboot.org/c/coreboot/+/42242/9//COMMIT_MSG 
Commit Message:

https://review.coreboot.org/c/coreboot/+/42242/9//COMMIT_MSG@7 
PS9, Line 7: drivers/ocp/ipmi: Add ipmi set processor information
> Instead of drivers/ocp/ipmi, I would perfer drivers/ipmi/ocp instead.

Because there are other ocp functions such as dmi(CB:40308), maybe drivers/ocp/ipmi is better?