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