[coreboot-gerrit] Change in coreboot[master]: drivers/ipmi: Change type of custom_count from int to size_t