[coreboot] Missing ACPI ASL code for Denverton GPIO controller

[Sumo]

Hi all,

We have a kernel patch which adds pinctrl/GPIO support for Intel Denverton
SoC (https://patchwork.kernel.org/patch/9879473/) to make possible to
access the GPIO from user space (via sysfs, i.e.
/sys/kernel/debug/pinctrl/), however this patch is expects a "INTC3000"
GPIO controller definition in the ACPI tables.
I want to add/implement the INTC3000 in the ASL code, but since I don´t
want to reinvent the wheel I´m asking if such ASL code is already available
somewhere (at least in the Intel Pine Lake CRB there´s no such reference to
INTC3000 in the ACPI tables).

Thanks,
Sumo