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