Bugzilla – Attachment 540143 Details for Bug 820542
On UEFI box, grub2-efi menu is not being updated after kernel install