[BPI-R64] red LED

Hi

on r64 there are 2 GPIO-LEDS defined in dts, if i enable LEDS_GPIO in my kernel i can switch on the green one with this command:

echo 1 > /sys/class/leds/bpi-r64\:pio\:green/brightness

but the red one is always on like the blue one which is not defined in dts.

as on r2 the red led was also fixed and defined in dts i want to ask if it is possible to switch it by such command

regards Frank