Check_MK Werk 6457: IPMI Management board: Improved error handling when sensors can not be read