ACPI: make drivers/acpi/ec.c:ec_ecdt static