[Linaro-acpi] [PATCH] arm: efi fill the acpi20 pointer if it is given