after RPi3 -> RPi4 upgrade: Infrared remote not working anymore