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

[Paul Menzel (Code Review)]

Paul Menzel 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 5: Code-Review+1

(2 comments)

Has populating this a noticeable impact on the boot time?

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

https://review.coreboot.org/c/coreboot/+/42242/5//COMMIT_MSG@2 
PS5, Line 2: TimChu
Could you please add a space: Tim Chu.

$ git config --global user.name "Tim Chu"
    $ git commit --amend --author="Tim Chu "

https://review.coreboot.org/c/coreboot/+/42242/5//COMMIT_MSG@23 
PS5, Line 23: TimChu
Tim Chu