74dd0aeee0
via ECDT, we would print: acpiec0 at acpi0 (EC, PHP0C09-0): ACPI Embedded Controller (disabled) The embedded controller isn't actually disabled, but instead this driver instance, so change the message to read: acpiec0 at acpi0 (EC, PHP0C09-0): using acpiecdt0