[Bug 820542] On UEFI box, grub2-efi menu is not being updated after kernel install