ACPI / EC: Cleanup boot EC code using acpi_ec_alloc()