Re: Grub and `other' OS