[coreboot-gerrit] Change in coreboot[master]: drivers/ipmi: Add IPMI BMC FRB2 watchdog timer support

[Johnny Lin (Code Review)]

Johnny Lin has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/36179 )

Change subject: drivers/ipmi: Add IPMI BMC FRB2 watchdog timer support
......................................................................

Patch Set 5:

(1 comment)

https://review.coreboot.org/c/coreboot/+/36179/4/src/drivers/ipmi/ipmi_ops.c 
File src/drivers/ipmi/ipmi_ops.c:

https://review.coreboot.org/c/coreboot/+/36179/4/src/drivers/ipmi/ipmi_ops.c... 
PS4, Line 20: int init_and_start_ipmi_bmc_wdt(int port, uint16_t countdown, uint8_t action)
> Prefix with ipmi_

Done