From: Graeme Gregory graeme.gregory@linaro.org
Make sure to update the efi.acpi20 pointer if the ACPI20 GUID is found in the system configuration tables list.
Signed-off-by: Graeme Gregory graeme.gregory@linaro.org --- arch/arm/kernel/efi.c | 2 ++ 1 file changed, 2 insertions(+)
diff --git a/arch/arm/kernel/efi.c b/arch/arm/kernel/efi.c index 86bb75e..482ff48 100644 --- a/arch/arm/kernel/efi.c +++ b/arch/arm/kernel/efi.c @@ -160,6 +160,8 @@ static int __init uefi_config_init(void) str, (u32)table); if (!efi_guidcmp(guid, ACPI_TABLE_GUID)) efi.acpi = table; + if (!efi_guidcmp(guid, ACPI_20_TABLE_GUID)) + efi.acpi20 = table; if (!efi_guidcmp(guid, SMBIOS_TABLE_GUID)) efi.smbios = table; }