Comment 3 for bug 466745

The grub menu in the case of wubi should mostly be used for selecting a different kernel or recovery mode and hidden by default, since the OS choice has already been performed in a separate bootloader.