In fact, I tested this:
modprobe crc7
cat /var/log/syslog | grep "Disabling lock" kernel: [ 1209.080510] Disabling lock debugging due to kernel taint
cat /proc/sys/kernel/tainted 2
cat /proc/modules crc7 1290 0 - Live 0x0000000000000000 0x0000000000000000 (F)
In fact, I tested this:
modprobe crc7
cat /var/log/syslog | grep "Disabling lock"
kernel: [ 1209.080510] Disabling lock debugging due to kernel taint
cat /proc/sys/ kernel/ tainted
2
cat /proc/modules
crc7 1290 0 - Live 0x0000000000000000 0x0000000000000000 (F)