piCorePlayer - Include rotary_encoder.ko

Hi;

I'm trying to put together a piCorePlayer that will hopefully sport a couple of rotary encoders.
I've installed piCorePlayer 6.1.0 and got the LCD, touchscreen and sound working. These forums have been invaluable! My thanks to everyone who has posted their trials and tribulations.

Unfortunately the rotary encoders are giving me problems.
To get them working I've enabled the appropriate device-tree overlay but it appears that the kernel module for the driver isn't present in the base load and I can't find it any of the extensions.
I can see that older releases (such as this one: https://repo.picoreplayer.org/repo/10.x/armv6/releases/RPi/src/kernel/4.19.40-pcpCore_modules.tar.xz[/url]) does have the rotary_encoder.ko module so I assume it is produced by the build. Unfortunately I don't see an equivalent release package for the kernel I'm using (4.19.122-pcpCore_v7).

Is possible to get the module included in the base package or an extension? I'm not setup to build the kernel but I can probably figure that out if necessary. I'm just not looking forward to doing it every time I upgrade :)

Thanks
Tact