> 2024-10-14T09:31:14Z Mark Kettenis:
> > Try "LEN0071".
> 
> Thanks Mark. Miod suggested this too, but sadly this didn't help either.
> I assume the problem is something similar to what was fixed here[1].
> However I have very little experience with kernel/driver development and
> wouldn't know where to start to debug this.
> 
> [1] https://github.com/openbsd/src/commit/4a64352304e24b88f212d718db9d0a3911b51116
> 
> Below the dmesg I got with "LEN0071" added in sys/dev/acpi/pckbc_acpi.c.

That's odd, for it still appears as unconfigured:

> "LEN0071" at acpi0 not configured

and legacy pckbc attaches.

> pckbc0 at isa0 port 0x60/5 irq 1 irq 12
> pckbd0 at pckbc0 (kbd slot)
> wskbd0 at pckbd0: console keyboard
> pms0 at pckbc0 (aux slot)