Yes, and it is my guess that the led driver module you speak of is compiled into the kernel. Hence will not show up using lsmod.
Sometimes there is a kernel config file on the system you can grep to see if a certain module has been statically compiled in. But I’m not sure if that exists on that Linux image or not.
SO on my system . .
william@xanbustester:~/can-dev/can-web$ stat /proc/config.gz
File: `/proc/config.gz’
Size: 33425 Blocks: 0 IO Block: 1024 regular file
Device: 4h/4d Inode: 4026531946 Links: 1
Access: (0444/-r–r--r–) Uid: ( 0/ root) Gid: ( 0/ root)
Access: 2015-09-07 11:01:29.840792651 -0700
Modify: 2015-09-07 11:01:29.840792651 -0700
Change: 2015-09-07 11:01:29.840792651 -0700
Birth: -
Is where it lives.
Example:
william@xanbustester:~/can-dev/can-web$ zcat /proc/config.gz | grep LEDS_GPIO
CONFIG_LEDS_GPIO=m
Anyway I found the correct LED config option b first using
william@xanbustester:~/can-dev/can-web$ zcat /proc/config.gz | grep LEDS
Lots of output I did not feel like pasting here . . .