[PATCH] ACPI: EC: Look for ECDT EC after calling acpi_load_tables()