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