efi_stub: Use efi_uintn_t