efi_loader: replace UINTN by efi_uintn_t