mainboard/intel/avenuecity_crb: Update full IIO configuration

[coreboot2.git] / src / mainboard / dell / snb_ivb_latitude / acpi / ec.asl

/* SPDX-License-Identifier: GPL-2.0-only */

Device(EC)
{
        Name (_HID, EISAID("PNP0C09"))
        Name (_UID, 0)
        Name (_GPE, 16)
/* FIXME: EC support */
}