acpi: filter based on CONFIG_ACPI_X86 rather than TARGET