Re: which grub.conf?