Re: increasing grub timeout?