[coreboot-gerrit] Change in coreboot[4.11_branch]: drivers/ipmi: Fix buffer double-free