[Linaro-acpi] [PATCH 1/4] ACPI: ARM64 does not have a BIOS add config for BIOS table scan.