For more information about setting up your Debian system with IPMI
please see the excellent howto by Tim Small:

http://buttersideup.com/docs/howto/IPMI_on_Debian.html