Re: [U-Boot] [PATCH 1/1] efi_loader: replace efi_div10 by div64_u64