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

[Jonathan Zhang (Code Review)]

Jonathan Zhang 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 7:

(1 comment)

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

https://review.coreboot.org/c/coreboot/+/42242/7/src/drivers/ocp/ipmi/ipmi_o... 
PS7, Line 107: 	/* Get core number and thread number. */
The details of how to get core/thread number, processor freq. and revision are architecture/SoC specific, it is better to call generic function to get them, instead of having the implementation here in.