Onboard LEDs connected to the RK805-1 out1 and out2 GPIO pins

[t4_4t]

Code:
-- Override tiriger-source --
$ sudo sh -c "echo 'none' > /sys/devices/platform/leds/leds/power-led/trigger"
$ sudo sh -c "echo 'none' > /sys/devices/platform/leds/leds/standby-led/trigger"

-- LED on/off --
$ sudo sh -c "echo '0' > /sys/devices/platform/leds/leds/power-led/brightness"
$ sudo sh -c "echo '0' > /sys/devices/platform/leds/leds/standby-led/brightness"
$ sudo sh -c "echo '255' > /sys/devices/platform/leds/leds/power-led/brightness"
$ sudo sh -c "echo '255' > /sys/devices/platform/leds/leds/standby-led/brightness"

> So neither the rk808 driver nor anything else will even try to initialize them...
Some version of kernel that fails to initialize rk8xx-gpio also exists.
Therefore, its symptom depends on the version of kernel.