Puppet module for ksplice