LIRC / Rpi seems broken since the upgrade to kernel 4.19.55

My GPIO based IR remote control stopped working after updating my RPi3 around 2019-06-27, which is about the time when OSMC updated to kernel 4.19.55:

$ tail -50 /var/log/apt/history.log | tac
[...]
End-Date: 2019-06-27  21:00:15
Upgrade: rbp2-kernel-osmc:armhf (3.9.126, 3.9.144), mediacenter-skin-osmc:armhf (18.0.0-15, 18.0.0-18)
Install: rbp2-image-4.19.55-1-osmc:armhf (1, automatic)
Requested-By: xxxx
Commandline: /usr/bin/apt-get-real dist-upgrade
Start-Date: 2019-06-27  20:59:52
[...]

For IR related issue, I usually check /dev/lirc0, which doesn’t show up since the kernel update:

$ uname -a
Linux xxxx 4.19.55-2-osmc #1 SMP PREEMPT osmc-ccachefix armv7l GNU/Linux
$ ls /dev/lirc*
ls: cannot access '/dev/lirc*': No such file or directory

The new kernel config doesn’t seem to include LIRC:

$ grep LIRC /boot/config-4.19.55-2-osmc 
# CONFIG_LIRC is not set

but it was included in previous kernel config:

$ grep LIRC /boot/config-4.14.78-4-osmc 
CONFIG_LIRC=m
CONFIG_IR_LIRC_CODEC=m
CONFIG_LIRC_STAGING=y
CONFIG_LIRC_RPI=m
CONFIG_LIRC_XBOX=m
# CONFIG_LIRC_ZILOG is not set

Switching back to 4.14.78-4, I get the IR remote back in OSMC:

$ uname -a
Linux xxxx 4.14.78-4-osmc #1 SMP PREEMPT Wed Dec 12 17:58:11 UTC 2018 armv7l GNU/Linux
$ ls /dev/lirc*
/dev/lirc0

So you are on the testing kernel it seems.

Oh, I though I had switched back to stable. Thanks for pointing to this.

Yes — the LIRC RPI module is now deprecated. You need to use gpio-ir.