efi_loader: correct headersize EFI tables