[Linaro-uefi] LEG Kernel & ACPI Tables