In the past, we could tweak grub-pc so that it simply shows all OSes/options as a simple list, slightly editing /etc/grub.d/10_linux. How can we do that in the 2.02~beta2-9 release supplied with Trusty Tahr 14.04?

With several kernels installed (eg generic and lowlatency) submenu is boring with such a /etc/default/grub when I need to change OS:

GRUB_DEFAULT=saved
GRUB_SAVEDEFAULT=true
GRUB_TIMEOUT=3
# GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="acpi_osi=Linux"
GRUB_CMDLINE_LINUX=""

Thank you