On Sun, 1 Nov 2015, Ottavio Caruso wrote:
You can change that editing /boot.cfg. man 5 boot.cfg, go to the "menu" section.
Sounds like an excellent tip, and a lot easier than building a new kernel! Thanks, -- Bob Bernstein