HOW TO: Modify GRUB boot parameters