[LinuxBIOS] Loading "other" OS's?