Could you look at a couple of things and tell me what you are seeing.
1. Could you enter sudo lsmod. That should display a list of kernel modules loaded. 2. Could you cat /boot/config.txt to type out the config.txt file. 3. Could you enter the nx7nix/bin/showudrc.sh. Its a lot of stuff but it tells pretty much the story. 4. Finally could you cat /etc/modules and get a list of kernel modules that are being loaded.