Prefix kernel related grub environment values with "puavo_" so
that whatever values come from Puavo are clearly marked as such
(in grub configuration).