From Matt Tolentino:

  Here's a small patch to change several data types from u64 to
  unsigned long in efi.h.  These changes enable the use of the
  same data structures and function prototypes for ia32 EFI kernels.