> Date: Mon, 14 Oct 2024 09:51:16 +0000
> From: Miod Vallat <miod@online.fr>
> 
> > 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)

Well:

> OpenBSD 7.6-current (CUSTOM) #2: Mon Oct 14 11:30:32 CEST 2024
>     johannes@e14.thyssentishman.local:/usr/src/sys/arch/amd64/compile/CUSTOM

Johannes should really be using the GENERIC.MP config.