Copy pxelinux.0 if original file changed, and fix installation of EFI files for SUSE