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