[PATCH v3 4/4] acpi: support 64bit in acpi_find_table for DSDT and FACS