Puppet module to manage hardware controller through FreeIPMI