[PATCH 4.19 56/58] ACPI: EC: Look for ECDT EC after calling acpi_load_tables()