Since some time grub started to hide old kernel entries. This is usually a good thing. However, on work we routinly boot older/different kernels and its tedious to always navigate into "Previous Linux versions" and choose the correct kernel. Is there a simple switch that disables the new-style grub menu? Christoph