In terminal you can type uname -a or cat /proc/version to see what kernel you are using. If you are right then you should see the suffix -bfs attached to the kernel-name.