Patches for IPMI hardware sensors support [sf#1214888] [#479]