Where is the GPIO LED driver in this display?

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