[coreboot-gerrit] Change in coreboot[master]: drivers/ipmi: make IPMI KCS status and command register offset config...