[PATCH 12/16] Fix types in EFI calls to match EFI function definitions.

On Fri, 2013-08-09 at 16:26 -0700, Roy Franz wrote:

EFI calls can made directly on ARM, so the function pointers
are directly invoked.  This allows types to be checked at
compile time, so here we ensure that the parameters match
the function signature.

Signed-off-by: Roy Franz <redacted>
---

Tested on arm64.

Acked-by: Mark Salter <redacted>