ipmitool for calxeda servers