Puppet type & provider to modify BIOS of HP servers using hprcu