Comment 7 for bug 1447500

@mathieu-tl: yes, if we can disable the OS prober when we're installing onto a petitboot-based machine, that'd be great.

Since petitboot will parse the other OS' config files independently, we don't need to include them in Ubuntu's list. Is there a current mechanism to detect the machine type?