Generating grub configuration file ...
Found linux image: /boot/vmlinuz-3.13.0-38-generic
Found initrd image: /boot/initrd.img-3.13.0-38-generic
Adding boot menu entry for EFI firmware configuration
done