[Bug 846003] openSUSE 13.1 fails to add other OSes to the grub menu (GC Frontman)