[Linaro-uefi] [PATCH 8/8] ARM: add UEFI support