When I run the following (as root) on RPi (Raspbian, Model 3), the USB keyboard numlock LED should light up, but doesn't. Variants using +caps and +scroll don't have any effect on the USB keyboard LEDs either.
# /usr/bin/setleds -v -L +num < /dev/console
This command works fine on several x86 based computers running Debian. What am I missing?