Re: booting parameters in Grub