lazy umount for efi_mnt dir

It may be still used by something (udev scanning?) when make_efi_img.py
tries to unmount it.
Show information about successful build

Display file name and size when the target is done