[Linaro-uefi] [RFC PATCH 0/8] Booting UEFI via the arm64 linux boot protocol