LibreELEC (official): 9.0.1 (RPi2.arm)
RPi:~ # ir-ctl -t 200000 -r
pulse 1400
space 300
pulse 950
space 750
pulse 550
space 4150
pulse 200
space 1350
pulse 300
space 2350
pulse 350
space 1050
pulse 550
space 2000
pulse 200
space 2850
pulse 200
space 2300
pulse 500
space 2050
pulse 150
space 4400
pulse 400
space 2100
pulse 400
space 6200
pulse 500
space 1050
pulse 500
space 6100
pulse 450
space 1050
pulse 500
space 7100
pulse 500
space 1050
pulse 350
space 16350
pulse 500
space 7600
pulse 500
space 7600
pulse 450
space 6600
pulse 500
space 10200
pulse 150
timeout 398450