Re: Increase grub timeout