Puppet type & provider to modify BIOS using hprcu