Puppet module to set kernel boot args