a few fixes in ACPI table lookup