All the Raspberry Pi's I have I have to manually add
dtoverlay=gpio-ir
to the /flash/config.txt so that I Can enable the IR support on the gpio interface. Can this be put into an option in Libreelec? Would be nice not to have to SSH into the box to do this single manual configuration.