Ubuntu 12.10 Simplifies GRUB Boot Menu

Ubuntu 12.10 features an interesting change in GRUB2 Boot Menu. Menu entries now have ‘Ubuntu’ as the first option instead of ‘Ubuntu with Linux (Kernel version)’.