Managing Bios Settings with Puppet