Grub and `other' OS