gpio-ir-receiver, gpio-ir-tx and pwn-ir-tx are available on all platforms and included in the official linux kernel.
See eg here linux/Documentation/devicetree/bindings/leds/irled at master · torvalds/linux · GitHub and here linux/gpio-ir-receiver.txt at master · torvalds/linux · GitHub for the devicetree bindings and here linux/drivers/media/rc at master · torvalds/linux · GitHub for the source code.
Amlogic, Rockchip, Allwinner etc unfortunately don't support device tree overlays yet, like the RPi does so it'll be a bit tricky to include the device tree fragment needed to activate the driver on the correct GPIO pin. I think you'd need to patch the dtb file ATM.
Ah, and these drivers are rather new, you need to use a late 4.x or a 5.x kernel to get them - LE10 Amlogic builds will be new enough. Also not sure if the IR transmitter drivers are included in LibreELEC kernel configs, that could be changed quite easily though.
These rc-core IR drivers completely replace the old lirc drivers and have the huge benefit that they can use in-kernel IR decoding. The old lirc drivers needed userspace lircd to do the decoding. In the meanwhile the kernel supports generic decoders using BPF programs so it can handle almost every protocol that lircd supported.
so long,
Hias