Updated license information on the EFI loaders and gave a link to obtain the GRUB configuration file used.