> + select ACPI_LEGACY_TABLES_LOOKUP if ACPI> This shouldn't actually be set on IA64, should it? IA64 doesn't have> BIOS, either, it has EFI/UEFI, like ARM64...Which ACPI tables are in the "LEGACY" category affected by this option?-Tony