Grub’s kernel boot option