No matches were found for subject:"grub menu takes very long to appear"