Document r263140, removal of IPX.

Sponsored by:	The FreeBSD Foundation
Merge r246607 by benno from projects/uefi

  Use EFI types for EFI values (silences warnings).

EFI UINTN is actually a 64-bit type on 64-bit processors.

Sponsored by:	The FreeBSD Foundation