Comment 30 for bug 1861470

@Steve, in that regard it's not different from booting windows. The design is optimized for the single OS scenario but we could probably do something nicer in case where the grub menu has to be decided indeed (but that's not on the roadmap for this cycle)