> So to summarize:

[...]

> After:
> Keyboard:		Working
> Trackpad:		Working
> Trackpoint:		Working
> Trackpoint Buttons:	Working

That's excellent news!

> To make this persistant on my machine, should I configure this on
> /etc/bsd.re-config or should "LEN0071" be appended to
> pckbc_acpi_cids_kbd?

Not appended, but put before the first NULL.

Note that I have a machine here (X230) also advertising its keyboard as
LEN0071, which works fine with and without that diff... which is why it
is important to test that diff also on systems where the keyboard is
currently working correctly.

Thanks for testing!

Miod