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