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

[prof7bit]

t4_4tCode:
-- 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.

there are no leds at all in /sys/devices/platform/leds

Code:

--(#)-- ls -la /sys/devices/platform/leds/
total 0
drwxr-xr-x  3 root root    0 Feb 25 12:13 .
drwxr-xr-x 76 root root    0 Feb 25 10:23 ..
-rw-r--r--  1 root root 4096 Feb 25 12:13 driver_override
-r--r--r--  1 root root 4096 Feb 25 12:13 modalias
lrwxrwxrwx  1 root root    0 Feb 25 12:13 of_node -> ../../../firmware/devicetree/base/leds
drwxr-xr-x  2 root root    0 Feb 25 12:13 power
lrwxrwxrwx  1 root root    0 Feb 25 12:13 subsystem -> ../../../bus/platform
-rw-r--r--  1 root root 4096 Feb 25 12:13 uevent

Code:

--(#)-- uname -r
4.4.103-rockchip-ayufan-175

I can't remember which of the downloadable images that was, i suspect it was one of the 0.6.x ones. I have already configured lots of stuff all over the place, so I can't just start over with a different image.

Can I install just the kernel from a different image without having to install and configure all the stuff again from scratch?