Re: [Linaro-acpi] [PATCH] acpi: arm64 does not have a BIOS add config for BIOS table scan.