[coreboot-gerrit] [L] Change in coreboot[master]: drivers/ipmi: prepare for adding more interfaces