Apply the puavo_kernel_arguments and puavo_kernel_version info
from the grub environment file (created by
puavo-install/lib/update-configuration), so that kernels and
kernel arguments can be set from Puavo also for laptops.
Laptops do boot with the default kernel if the requested kernel
is missing.