Fix IPMI part in the check_mk Linux Agent - issues with the SDR cache