[Bug 512379] JJ: add option to configure (enable/disable) auto-changing grub/menu.lst "default #" option @ kernel-* upgrade