[Linaro-uefi] [PATCH V3 11/15] Add several misc. arch functions for EFI boot code.