Re: Hiding the grub menu by default on single OS installs