Several new header files have been added to GRUB which need to be manually added to the dist archive. This allows building from the tar archive created by "make dist". Signed-off-by: Andrew Hamilton <adhamilt@gmail.com> Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>