If your goal is solely to set kernel parameters in grub, I'd recommend you use the kernel_parameter type from the augeasproviders module. This will be much more reliable.
Also, consider using $::lsbdistrelease instead of $::operatingsystemrelease (and don't forget the :: for the variable scope or Puppet 3.0.0 will bite you).