The text c6fbc057dfc3, as Debian 3.1 (Sarge) shipped it.
An IPMI Command Interface
-k
ipmicmd(1) on Linux now