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