Fix sensor_ipmi.c build break

A header file was accidentally removed during a previous merge, causing
the build to break