busy IPMI kernel thread