[coreboot-gerrit] [M] Change in coreboot[master]: src/drivers/ipmi: retry ipmi_get_device_id in ipmi_kcs_init

[Sergii Dmytruk (Code Review)]

Attention is currently required from: Patrick Rudolph, Jonathan Zhang, Johnny Lin, Christian Walter, Nill Ge, TangYiwei.

Sergii Dmytruk has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/69310 )

Change subject: src/drivers/ipmi: retry ipmi_get_device_id in ipmi_kcs_init
......................................................................

Patch Set 1:

(1 comment)

File src/drivers/ipmi/ipmi_kcs_ops.c:

https://review.coreboot.org/c/coreboot/+/69310/comment/d047ae1a_3eef66e4 
PS1, Line 118: dev->enabled = 0;
If `dev->enabled` is set to `0` here, maybe we should just return and not get into the loop? It won't set `dev->enabled` to `1` anyway.