[Linaro-acpi] [PATCH v4 01/13] acpi: arm64 does not have a BIOS add config for BIOS table scan.