efi_loader: fix 'efidebug boot dump'