[checkmk-commits] 5873 IPMI Management board