review.coreboot.org / coreboot / d31cbc74d1317aa5beb8619d93b9337d2c1370de / src / mainboard / inventec / transformers / ipmi.c