Pass the required kernel options to GRUB.