Das stimmt nicht. Das Problem mit kipmi ist ein altes Problem, das alle Distributionen und alle RHEL-Versionen betrifft. Der erste Eintrag in der KB von RH stammt aus dem Jahre 2009. Wuerdest du das Problem wirklich untersucht haben und nicht nur den Helper abgeschaltet haben, wuesstest du, dass es sich bei dem Problem um ein HW-Problem handelt (BMC-Firmware, um genauer zu sein). Unter RHEL kann man das Problem abmildern, indem man ipmi_si.kipmid_max_busy_us=XXX setzt. Gaenzlich beheben wird man es aber nicht koennen, denn es ist ein Irq-Problem, das direkt von dem Hersteller der HW-Firmware korrigiert werden muss.