[Linaro-uefi] [PATCH V3 15/15] Add ARM EFI boot support